AI.info

Liam Fowl

Explore Liam Fowl on AI.info.

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