Tape Algebra
Less-relevant results
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
 ⚙Automata Theory  Content type: AcademicLean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
 💻CS  Content type: AcademicA Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
 💻CS  Content type: AcademicLayerwise Terminal Discrepancy in Chen's Reverse-Heat Coupling on the Boolean Cube
 🎯Performance Proofs  Content type: AcademicCan LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
 ✅Formal Methods  Content type: AcademicNo more posts from matmat's subscribed feeds.