conftrace_

logical equivalence

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

graph-matching metric (1) circuit transformer (1) bidirectional entailment (1) logic circuit (1) symmetry breaking (1) hypothesis space (1) inductive logic programming (1) automated theorem proving (1) boolean function (1) generative model (1)

Papers

Symmetry Breaking for Inductive Logic Programming AAAI 2026 A Theorem-Proving-Based Evaluation of Neural Semantic Parsing EMNLP 2025 Circuit Transformer: A Transformer That Preserves Logical Equivalence ICLR 2025