APA (7th ed.) Citation

Aniva, L., Oikawa, I., Dill, D., & Barrett, C. (2026). Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4.

Chicago Style (17th ed.) Citation

Aniva, Leni, Iori Oikawa, David Dill, and Clark Barrett. Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4. 2026.

MLA (9th ed.) Citation

Aniva, Leni, et al. Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4. 2026.