APA (7th ed.) Citation

Kirtania, S., & Iyer, A. (2025). Steering LLMs for Formal Theorem Proving.

Chicago Style (17th ed.) Citation

Kirtania, Shashank, and Arun Iyer. Steering LLMs for Formal Theorem Proving. 2025.

MLA (9th ed.) Citation

Kirtania, Shashank, and Arun Iyer. Steering LLMs for Formal Theorem Proving. 2025.

Warning: These citations may not always be 100% accurate.