⚡ Automated Reasoning - 2601 · Scour

Automated Conjecture Resolution with Formal Verification 🧩Constraint Solvers

arxiv.org·3d

Show HN: I built an open protocol for Agent-to-agent commercial negotiation 🌉Language Bridges

a2cn.io·2d·Hacker News

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. 🗺️Region Inference

walsenburgtech.com·21h·Hacker News

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) ✨Gleam

github.com·1d·Hacker News

Factual Verification for AI ⚖️Inference Rules

enterprise.factagora.com·3d·Hacker News, Hacker News

Capture-Quiet Decomposition: A Verification Theorem for Chess Endgame Tablebases ⚖️Inference Rules

arxiv.org·10h·Hacker News

Shipping faster, thinking less? The AI code verification trap 💬Prompt Engineering

leaddev.com·1d·Hacker News

Cryptographic Provenance for LLM Inference ✓Formal Methods

commitllm.com·6d·Hacker News

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification ✨Gleam

github.com·1d

Is there a path to Gamification of Verification? 💬Interactive REPLs

olshansky.info·1d·Hacker News

A real-world case of property-based verification ✅Property Testing

ochagavia.nl·5d·Lobsters, Hacker News, r/rust

Solus and Age Verification 🧠Obsidian

getsol.us·1d·Hacker News

The Art of Building Verifiers for Computer Use Agents 🏰Capability Machines

arxiv.org·1d

Fabian Gloeckle on X: "A new milestone in automatic formalization: We translated an entire graduate math textbook into Lean using 30K LLM agents. Open-source, l... 🎭Program Synthesis

x.com·4d·X

yutori-ai/frontend-visualqa: Gives coding agents eyes for frontend work — visual QA and verification powered by Yutori n1. 🛡️Error Ergonomics

github.com·2d·Hacker News

Verification Is the Next Bottleneck in AI-Assisted Development 🎭Program Synthesis

opslane.com·5d·Hacker News

Action Required: Account Verification for Windows Hardware Program Begins October 16, 2025 🚩CTF

techcommunity.microsoft.com·1d·Hacker News

Why the Smart Model Reviewer Pattern Is Backwards 🌳Tree Shaking

cloudpresser.com·4d·Hacker News

SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERT 🧠Semantic Parsing

arxiv.org·2d

Take Back Control of Your Screen Time – Brick LLC 🎮Language Ergonomics

getbrick.com·2d

Loading more...