Posts
Hallucination Detection on FVAPPS
LeanTool: Progress and Roadmap
Followup on Hallucination Detection and Recovery (progress report #3.5)
Lean4AI: An Overview
Hallucination Detection and Recovery: Initial Experiment
Proving Dynamic Programming with Sonnet (Part 2)
Proving Memoization in Lean, and Teaching It to Sonnet (Part 1)
Progress Report #2: FormalizeWithTest, LeanTool
Progress Report #1: Arena, SafeVerify and More
A Proposal for Safe and Hallucination-free Coding AI
subscribe via RSS