APA (7th ed.) Citation

Carl, M. (2023). Improving the Diproche CNL through Autoformalization via Large Language Models.

Chicago Style (17th ed.) Citation

Carl, Merlin. Improving the Diproche CNL Through Autoformalization via Large Language Models. 2023.

MLA (9th ed.) Citation

Carl, Merlin. Improving the Diproche CNL Through Autoformalization via Large Language Models. 2023.

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