Pascal Kesseli

Logic.py: Bridging the Gap between LLMs and Constraint Solvers

We present a novel approach to formalise and solve search-based problems using large language models, which significantly improves upon previous state-of-the-art results. We demonstrate the efficacy of this approach on benchmarks like the logic puzzles tasks in ZebraLogicBench. Instead of letting th…