Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs

Felix Vossel, Till Mossakowski, Björn Gehrke

Automating the translation of natural language to first-order logic (FOL) is crucial for knowledge representation and formal methods, yet remains challenging. We present a systemat…