AI.info

Ayush Khaitan

Explore Ayush Khaitan on AI.info.

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