APA (7th ed.) Citation

Poiroux, A., Weiss, G., Kunčak, V., & Bosselut, A. (2024). Reliable Evaluation and Benchmarks for Statement Autoformalization.

Chicago Style (17th ed.) Citation

Poiroux, Auguste, Gail Weiss, Viktor Kunčak, and Antoine Bosselut. Reliable Evaluation and Benchmarks for Statement Autoformalization. 2024.

MLA (9th ed.) Citation

Poiroux, Auguste, et al. Reliable Evaluation and Benchmarks for Statement Autoformalization. 2024.