PSM: un marco formal para la atención en LLMs validado en FPGA
Un equipo de autores presenta en Zenodo la versión 8.0 de un preprint titulado "Persistent State Machines: Complete Mathematical Proofs and Vivado Implementation Synthesis", que introduce un marco discreto formal para modelar los operadores de atención de los modelos de lenguaje de gran tamaño (LLMs
