Elenchos

A new framework called Elenchos tests large language models on abductive reasoning, revealing that while LLMs can detect mutations in formal systems, they struggle to identify the specific rule change…