3 citations · 6 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.GT2026
You All Need to Hear This: Wisdom of Crowds with Deliberating Jurors
Rosa Bauer, Adrian Haret
We analyze a formal model of deliberation in which agents have probabilistic access to evidence and selectively disclose it to their peers in order to induce opinion change. We pre…
cs.AI2026
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret +2
Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of improved performance through extended internal reasoning scales poorly. Symbolic de…