@misc{indiciaea20bc1723253,
  title = {Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers},
  author = {Mohammad Raza and Natasa Milic-Frayling},
  year = {2025},
  url = {https://arxiv.org/abs/2501.16961},
  note = {Source identifier: 2501.16961}
}