Posts

• Dec 9, 2024

  Proving Dynamic Programming with Sonnet (Part 2)

• Dec 3, 2024

  Proving Memoization in Lean, and Teaching It to Sonnet (Part 1)

• Nov 29, 2024

  Progress Report #2: FormalizeWithTest, LeanTool

• Nov 19, 2024

  Progress Report #1: Arena, SafeVerify and More

• Nov 4, 2024

  A Proposal for Safe and Hallucination-free Coding AI

subscribe via RSS