05:39
2026-07-15
machinebrief.com
large-language-models
Elenchos: Probing LLMs' Abductive Reasoning Skills
A new framework called Elenchos, named after the Socratic method of cross-examination, tests large language models on abductive reasoning by placing them in scenarios involving mutated formal systems …