Instantiation-Based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers

Raza and Milic-Frayling. "Instantiation-Based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/516

[Raza and Milic-Frayling. "Instantiation-Based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/raza2025ijcai-instantiation/) doi:10.24963/IJCAI.2025/516

@inproceedings{raza2025ijcai-instantiation,
  title     = {{Instantiation-Based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers}},
  author    = {Raza, Mohammad and Milic-Frayling, Natasa},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {4633-4641},
  doi       = {10.24963/IJCAI.2025/516},
  url       = {https://mlanthology.org/ijcai/2025/raza2025ijcai-instantiation/}
}