AI.info

Zachary Burton

Explore Zachary Burton on AI.info.

• Inference-Time Diversity in RL-Trained Lean Theorem Provers: A Diagnostic Study