llm 2 From Prediction to Action: What an AI Agent Must Verify Sep 25, 2026 Invariants in the Wild: Implementing TOON's Rust Parser Dec 22, 2025