TY  - RPRT
TI  - Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
AU  - Mohammad Raza
AU  - Natasa Milic-Frayling
PY  - 2025
UR  - https://arxiv.org/abs/2501.16961
ID  - 2501.16961
ER  -