Verification
9 entities · 0 projects · 2 tools · 2 models · 5 news
Laya
An Apache-2.0 System One model for classification, routing, scoring and guardrails.
reverify
Deterministic verification for AI output: it proposes, deterministic tools decide, every claim checked against ground truth.
OpenAI reasoning-extraction campaign
OpenAI says it disrupted a coordinated attempt to extract protected model reasoning and strengthened controls against adversarial distillation.
SynthID Bio
Google DeepMind introduced research methods for marking AI-generated protein sequences and predicted structures so their origin can be checked.
OpenAI creates an independent mathematics advisory group
OpenAI formed an external group to review and communicate emerging mathematical results produced with AI.
Jev
TypeSafe AI's System One model for fast, typed, confidence-aware decisions.
jevals
Replaces LLM judges with typed Jev decisions for evaluation.
The agent stack is splitting into planning, execution and verification
A short brief on a recurring agent architecture: one system plans, another acts, and deterministic checks verify the result.
Prompts aren't Real
An argument that prompts are not a stable object of study, at 114 points on Hacker News.