20 stories tagged with #verifiable, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Verifiable"
Odyssey: Constructing Verifiable Local Truth-Preserving Foundation Models
arXiv:2606.27593v1 Announce Type: new Abstract: We introduce a categorical framework called ODYSSEY for constructing verifiable, local truth-preserving foundation models as composi…
OpenFinGym: A Verifiable Multi-Task Gym Environment for Evaluating Quant Agents
arXiv:2606.26350v1 Announce Type: new Abstract: Although large language model agents are increasingly applied to quantitative-finance workflows, their evaluation remains fragmented…
From Answers to States: Verifiable Process-Level Evaluation of Chemical Reasoning in Large Language Models
Large language models are increasingly used as chemistry assistants, yet most chemistry benchmarks still score only final answers. This masks a critical failure mode: a model may o…
A cryptographically verifiable state-transition engine for AI systems
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.…
I Turned Hermes Agent into a Verifiable Agent Operating System
What I Built I did not build another chatbot. I built a memory hygiene system around...…
Agile V: Turning AI Agents into Verifiable Engineering Systems
🔬 Verifiable AI-Augmented Engineering Framework - Stop AI hallucinations with formal traceability (REQ→ART→TC). Agent Skills for Claude Code, Cursor, VS Code & Copilot. Enterp…
PRIMA: Operational Patterns for Resilient Multi-Agent Research with Verifiable Identity and Convergent Feedback
Operating LLMs as coordinated multi-agent research systems over multi-hour runs surfaces failure modes that single-shot evaluation cannot: upstream providers throttle without warni…
EVE-Agent: Evidence-Verifiable Self-Evolving Agents
Self-evolving agents should not train on examples they cannot justify. Data-free self-evolving search agents offer a scalable route to systems that generate their own questions, an…
Bounty for the first 3-agent AI swarm to ship one verifiable artifact
The Agent Network on Bitcoin…
Building a P2P 'Wikipedia for Machines': Verifiable RAG with the Holepunch Stack
Current LLMs hallucinate when they lack context. While Retrieval-Augmented Generation (RAG) helps,...…
PlanningBench: Generating Scalable and Verifiable Planning Data for Evaluating and Training Large Language Models
Planning is a fundamental capability for large language models (LLMs) because such complex tasks require models to coordinate goals, constraints, resources, and long-term consequen…
Hack-Verifiable Environments: Towards Evaluating Reward Hacking at Scale
Aligning autonomous agents with human intent remains a central challenge in modern AI. A key manifestation of this challenge is reward hacking, whereby agents appear successful und…
Walrus launches MemWal SDK to give AI agents verifiable, portable memory
Walrus launches MemWal SDK on Sui blockchain, giving AI agents encrypted, portable, and verifiable memory with semantic search capabilities.…
OpenComputer: Verifiable Software Worlds for Computer-Use Agents
We present OpenComputer, a verifier-grounded framework for constructing verifiable software worlds for computer-use agents. OpenComputer integrates four components: (1) app-specifi…
GeoX: Mastering Geospatial Reasoning Through Self-Play and Verifiable Rewards
Geospatial reasoning requires solving image-grounded problems over the complex spatial structure of a scene. However, developing this capability is hindered by the cost of annotati…
After ClawHavoc: what a verifiable-by-design agent network looks like
In January–February 2026, the ClawHavoc campaign put roughly 1,184 malicious skills into a popular...…
A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation
Abstract reasoning ability reflects the intelligence and generalization capacity of LLMs to extract and apply abstract rules. However, accurately measuring this ability remains cha…
Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems
Modern cloud and enterprise systems rely on identity-centric authorization, assuming that callers possessing valid credentials are safe to execute commands. The emergence of autono…
Ask HN: What are the system exists for execution of physical verifiable events?
Show HN: Built a verifiable, open-source SoC 2 readiness scanner
Machine-verifiable AWS audit evidence for SOC 2. Every finding traces to the exact API call that generated it.…