AI.info

Simon Park

Explore Simon Park on AI.info.

• Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean