AI.info

Tomas Ortega

Explore Tomas Ortega on AI.info.

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