2 papers
cs.CL2025
A Theorem-Proving-Based Evaluation of Neural Semantic Parsing
Hayate Funakura, Hyunsoo Kim, Koji Mineshima
Graph-matching metrics such as Smatch are the de facto standard for evaluating neural semantic parsers, yet they capture surface overlap rather than logical equivalence. We reasses…
cs.CL2023
Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar
Hayate Funakura, Koji Mineshima
We present a compositional semantics for various types of polar questions and wh-questions within the framework of Combinatory Categorial Grammar (CCG). To assess the explanatory p…