conftrace_

logical solver

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic solver composition (1) semantic verification (1) reasoning accuracy (1) formal reasoning (1) large language model (1) neuro-symbolic reasoning (1) automated reasoning (1) formal methods (1)

Papers

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition EACL 2026 Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025