conftrace_

graph-matching metric

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical equivalence (1) bidirectional entailment (1) automated theorem proving (1) first-order logic (1) semantic parsing (1)

Papers

A Theorem-Proving-Based Evaluation of Neural Semantic Parsing EMNLP 2025