Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition.

Lei Xu, Pierre Beckmann, Marco Valentino, Andr Freitas

Browse the full EACL paper archive.