@misc{indiciae22bec2b6dc45,
  title = {A Theorem-Proving-Based Evaluation of Neural Semantic Parsing},
  author = {Hayate Funakura and Hyunsoo Kim and Koji Mineshima},
  year = {2025},
  url = {https://arxiv.org/abs/2510.11225},
  note = {Source identifier: 2510.11225}
}