✅ Formal Verification - jinkai_lau · Scour

An Experiment in Formal Verification with Claude λFunctional Programming

blog.succinct.xyz·9h

LeanBET: Formally-verified surface area calculations in Lean 🔍Static Analysis

A shallow dive into formal verification λFunctional Programming

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

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

twitter.macworks.dev·6h

Using algebra and LLMs to verify a flight-plan bug fix in Lean λFunctional Programming

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

Formal Verification Gates for AI Coding Loops λFunctional Programming

news.ycombinator.com·3h·Hacker News

Portland PLV Group λFunctional Programming

plv.cs.pdx.edu·5d

Formal Verification Gates for AI Coding Loops ✍️Prompt Engineering

reubenbrooks.dev·12h·Hacker News

Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure 🛡️AI Safety

·2d

😺 🎙️ PODCAST: Can AI Solve Math's Biggest Mystery? 🔬AI Research

theneurondaily.com·9h

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications 🧪Testing

proofsandintuitions.net·3d·Lobsters, Hacker News

We are reaching the structural limits of probabilistic code generation 🛡️AI Safety

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

theory uplift differentially benefits safety & is underleveraged 🛡️AI Safety

lesswrong.com·6h

Anthropic eases threat-sharing rules as Cloudflare details frontier AI cyber gains 🛡️AI Safety

metacurity.com·1d

Kernl - Programming Language for LLMs 🔧Compilers

github.com·3d·r/ClaudeAI

How a Compiler Turns Your Code Into CPU Instructions 🔧Compilers

siliconopera.com·2d

Verifying Consensus Protocols from LLM-assisted TLA$^+$: A Case Study of Byzantine Reliable Broadcast 🕸️Distributed Systems

eprint.iacr.org·3d

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks 🔒Zero Trust

Introducing Dimster, a performance benchmarking tool for Apache Kafka 📊Benchmarking

jack-vanlightly.com·13h

Programmable Phones 🤖AI Engineering

tailrecursion.com·5d·Hacker News

Log in to enable infinite scrolling