A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
Este artigo introduz um falsificador de pares de transição retido que demonstra que um modelo de estado recorrente projetado, treinado em sequências curtas com pares de geradores proibidos específicos, alcança um rastreamento de estado não-abeliano de longo horizonte perfeito por mais de um milhão de tokens, enquanto arquiteturas padrão falham sob as mesmas condições rigorosas devido à sua incapacidade de aprender a composição de estado não-comutativa explícita.