APA (7th ed.) Citation

Zhang, L., Valentino, M., & Freitas, A. (2026). Monotonic Reference-Free Refinement for Autoformalization.

Chicago Style (17th ed.) Citation

Zhang, Lan, Marco Valentino, and André Freitas. Monotonic Reference-Free Refinement for Autoformalization. 2026.

MLA (9th ed.) Citation

Zhang, Lan, et al. Monotonic Reference-Free Refinement for Autoformalization. 2026.