conftrace_

dynamic solver composition

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical solver (1) formal reasoning (1) neuro-symbolic reasoning (1)

Papers

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition EACL 2026