NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
A Theorem-Proving-Based Evaluation of Neural Semantic Parsing
Hayate Funakura
|
Hyunsoo Kim
|
Koji Mineshima
|
Paper Details:
Month: November
Year: 2025
Location: Suzhou, China
Venue:
BlackboxNLP |
WS |
Citations
URL
No Citations Yet
https://github.com/hfunakura/text2sem
https://github.com/RikVN/DRS_parsing
https://github.com/mynlp/ccg2lambda
https://github.com/vprover/vampire
Field Of Study