conftrace_

satisfiability solver

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

content effect (1) logical inference (1) syllogistic reasoning (1) differentiable solver (1) neuro-symbolic reasoning (1) neuro-symbolic ai (1) constraint satisfaction (1) logical reasoning (1)

Papers

Thiyaga6851 at SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models using Neuro-Symbolic Mapping SemEval 2026 SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver ICML 2019