TY  - RPRT
TI  - A Theorem-Proving-Based Evaluation of Neural Semantic Parsing
AU  - Hayate Funakura
AU  - Hyunsoo Kim
AU  - Koji Mineshima
PY  - 2025
UR  - https://arxiv.org/abs/2510.11225
ID  - 2510.11225
ER  -