arXiv AI By Angelos Poulis, Mark Crovella, Evimaria Terzi

Testing the Limits of Truth Directions in LLMs

Read the original on arXiv AI →

The Flow has not summarised this story yet — read it at arXiv AI.

arXiv AI
Sep 10

LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models

LogicSkills is a benchmark designed to isolate three core logical abilities in large language models: formal symbolization, countermodel construction, and validity assessment. The dataset draws items from the two-variable fragment of first‑order logic without identity, presented in both English and a Carrollian nonce‑word language, and all instances are solver‑verified with Z3. Results show that conventional instruction‑tuned LLMs excel at validity assessment but struggle with symbolization and countermodel construction, whereas recent reasoning‑tuned models perform well across all tasks, indicating a more systematic logical skill profile.

By Brian Rabern, Philipp Mondorf, Barbara Plank