Shmuel Berman

Multi-agent system boosts LLM logic puzzle solving

Researchers have developed a new multi-agent system called ZPS that combines Large Language Models (LLMs) with a theorem prover to solve complex logic puzzles like Zebra puzzles. This system breaks down problems, genera…