I open-sourced Aletheia - an agent loop for investigating questions without a clear verifier.
Summary
Aletheia is an open-source agent loop designed for investigating questions where answers cannot be easily verified, such as vendor credibility or financial health. It maintains an explicit belief state, chooses searches to maximize information gain, and can stop without forcing a conclusion when evidence is insufficient.
Similar Articles
@logic_int: Aleph, our fully autonomous AI agent system for formal verification, aced all major theorem proving benchmarks includin…
Aleph, a fully autonomous AI agent system for formal verification, achieved top performance on major theorem proving benchmarks including PutnamBench, VeriSoftBench, and Verina.
EVE-Agent: Evidence-Verifiable Self-Evolving Agents
EVE-Agent introduces a framework for self-evolving search agents that ensure evidence verifiability by generating questions, answers, and evidence spans, and training on marginal accuracy gain of evidence. This improves grounded correctness without human annotations.
I built a trust engine to help Agents evolve to be autonomous
An open-source trust engine (beta) that helps AI agents evolve from guided to autonomous states with rationale logging and human-in-loop approval, currently seeking early adopters.
I'm building a belief database for AI agents. Here's a prototype — do you have real datasets to test with?
Verus is an open-source belief database for AI agents that tracks conflicting claims from multiple sources with confidence scores and conflict detection; the author seeks real-world datasets and feedback.
Toward Auditable AI Scientists: A Hypothesis Evolution Protocol for LLM Agents
This paper introduces the Hypothesis Evolution Protocol (HEP) for LLM agents, which makes hypothesis generation, testing, and belief updates explicit and auditable. Experiments on materials-science tasks show that HEP-equipped agents generalize across research questions and become more effective with stronger base LLMs.