#automated-reasoning

• Proofs and Essays Are Paths: An LLM ↔ Prover Loop for Falsifying Hallucinations Apr 30, 2026
• I Was Thinking About LLM + Automated Reasoning Before It Was Cool (And I Wasn’t Ready) Apr 2, 2026