Raza, M., & Milic-Frayling, N. (2025). Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers.
Chicago Style (17th ed.) CitationRaza, Mohammad, and Natasa Milic-Frayling. Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers. 2025.
MLA (9th ed.) CitationRaza, Mohammad, and Natasa Milic-Frayling. Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers. 2025.
Warning: These citations may not always be 100% accurate.