When Debate Stops Being a Vote: DynaDebate and the Engineering of Reasoning Diversity
DynaDebate shows that multi-agent reasoning improves not by adding more voices, but by engineering disagreement, step-level critique, and conditional verification.
Cognaptus Insights
Industry thoughts, trends, and commentary.
When Robots Guess, People Bleed: Teaching AI to Say ‘This Is Ambiguous’
A mechanism-first reading of Ambi3D and AmbiVer, showing why safe embodied AI needs an ambiguity gate before execution.
Agents That Ship, Not Just Think: When LLM Self-Improvement Meets Release Engineering
AgentDevel shows why improving LLM agents may require release gates, traces, and regression control more than another round of self-reflection.
Hook, Line, and Confidence: When Humans Outthink the Phish Bot
A mechanism-first reading of why phishing defense needs calibrated confidence and cue-level reasoning, not just another classifier with a larger vocabulary.
ResMAS: When Multi‑Agent Systems Stop Falling Apart
A mechanism-first reading of ResMAS, showing why resilient LLM agent systems depend on communication topology and topology-aware prompts, not just more agents.
Stuck on Repeat: When Reinforcement Learning Fails to Notice the Rules Changed
TAPE shows why reinforcement learning agents can fail when the interface stays familiar but the hidden rules of the world change.
Vibe Coding a Theorem Prover: When LLMs Prove (and Break) Themselves
Why Isabellm’s real lesson is not autonomous AI reasoning, but verifier-gated system design for domains where being plausibly right is still wrong.
When LLMs Stop Talking and Start Driving
A mechanism-first reading of how LLM semantic understanding, knowledge graphs, and reinforcement learning can turn enterprise text into operational decisions.
When Solvers Guess Smarter: Teaching SMT to Think in Functions
AquaForte shows how LLMs can guide quantified SMT solving by proposing mathematical function instantiations while traditional solvers keep the formal guarantees.
Judging the Judges: When AI Evaluation Becomes a Fingerprint
A paper on evaluative fingerprints shows why LLM judges are not interchangeable scoring machines but stable measurement devices with their own theories of quality.