A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
Este artículo presenta un falsificador de pares de transición retenidos que demuestra que un modelo de estado recurrente proyectado, entrenado con secuencias cortas con pares de generadores prohibidos específicos, logra un seguimiento de estado no abeliano perfecto en horizontes largos de hasta más de un millón de tokens, mientras que las arquitecturas estándar fallan bajo las mismas condiciones rigurosas debido a su incapacidad para aprender la composición de estados no conmutativa explícita.