🔍 Abstract Interpretation - ghosh.debasish · Scour

Formal Verification Gates for AI Coding Loops ✅Formal Verification

news.ycombinator.com·4h·Hacker News

RFC 9990: Domain-Based Message Authentication, Reporting, and Conformance (DMARC) Aggregate Reporting 🔀CRDTs

rfc-editor.org·1d

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement 🔧SMT Solvers

An Experiment in Formal Verification with Claude ✅Formal Verification

blog.succinct.xyz·11h

Less-relevant results

Using algebra and LLMs to verify a flight-plan bug fix in Lean ✅Formal Verification

jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming

😺 🎙️ PODCAST: Can AI Solve Math's Biggest Mystery? 🌊Streaming Algorithms

theneurondaily.com·10h

AWS found bugs in 60% of software requirements. Its fix isn’t more AI — it’s a 50-year-old logic engine. 📊LLM Evaluation

thenewstack.io·5d·Hacker News

We are reaching the structural limits of probabilistic code generation ✅Formal Verification

logicalintelligence.com·2d·r/SoftwareEngineering, r/artificial

Iraqi national brought to US over alleged role in Europe attacks and planned plots on American soil 🤖Claude

indianexpress.com·5d

Decidability of MSO Reparameterization over Countable Chains 🔧SMT Solvers

Formal Verification Gates for AI Coding Loops ✅Formal Verification

reubenbrooks.dev·14h·Hacker News

A beginner's guide to irrational behaviour 🎯RLHF

danariely.com·3d·Hacker News

theory uplift differentially benefits safety & is underleveraged 📜Constitutional AI

lesswrong.com·8h

Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure 📐Theorem Proving

·2d

Schaeffler’s German factory bet gives humanoid robots their first real test 📜Constitutional AI

webiano.digital·5d

OCCAM: Open-set Causal Concept explAnation and Ontology induction for black-box vision Models 🧮Denotational Semantics

is the new math result neurosymbolic with Lean, harnesses etc or a pure LLM? 🧠LLMs

twitter.macworks.dev·8h

A shallow dive into formal verification 📐Theorem Proving

vitalik.eth.limo·2d·Hacker News, Hacker News

Introducing Dimster, a performance benchmarking tool for Apache Kafka 🌊Streaming Algorithms

jack-vanlightly.com·15h

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks ✅Formal Verification

Log in to enable infinite scrolling