conftrace_

bidirectional entailment

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logical equivalence (1) graph-matching metric (1) medical question answering (1) hallucination detection (1) automated theorem proving (1) first-order logic (1) semantic parsing (1) natural language inference (1) binary classification (1)

Papers

A Theorem-Proving-Based Evaluation of Neural Semantic Parsing EMNLP 2025 MedHallu: A Comprehensive Benchmark for Detecting Medical Hallucinations in Large Language Models EMNLP 2025