Burton, Z. (2026). Inference-Time Diversity in RL-Trained Lean Theorem Provers: A Diagnostic Study.
Chicago Style (17th ed.) CitationBurton, Zachary. Inference-Time Diversity in RL-Trained Lean Theorem Provers: A Diagnostic Study. 2026.
MLA (9th ed.) CitationBurton, Zachary. Inference-Time Diversity in RL-Trained Lean Theorem Provers: A Diagnostic Study. 2026.
Warning: These citations may not always be 100% accurate.