conftrace_

constraint-based reasoning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

open-world semantics (1) proof verification (1) logical inference (1) large language model (1) probabilistic database (1) formal proof (1) reasoning model (1) automated reasoning (1) knowledge base (1) theorem proving (1)

Papers

Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025 On Constrained Open-World Probabilistic Databases IJCAI 2019