conftrace_

validity checking

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

content bia (1) formal theorem proving (1) syllogistic reasoning (1) discrete structure (1) neuro-symbolic reasoning (1) logical form (1) deep generative model (1) sequence model (1) variational autoencoder (1)

Papers

Lakksh at SemEval-2026 Task 11(1 & 2): Neuro-Symbolic Decomposition to Mitigate Content Bias in Syllogistic Reasoning SemEval 2026 Learning a Generative Model for Validity in Complex Discrete Structures ICLR 2018