Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs. - Felix Vossel; Till Mossakowski; Björn Gehrke (CoRR, 2025)