🔧 SMT Solvers - ghosh.debasish · Scour

Anthropic eases threat-sharing rules as Cloudflare details frontier AI cyber gains 📜Constitutional AI

metacurity.com·1d

Caesar: A Deductive Verifier for Probabilistic Programs ✅Formal Verification

The Cassowary Linear Arithmetic Constraint Solving Algorithm [pdf] (2002) 📊Algorithms

news.ycombinator.com·6d·Hacker News

Automating proof search when equality is a logical connective 📐Theorem Proving

Kernl - Programming Language for LLMs ⚙️Compilers

github.com·3d·r/ClaudeAI

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair ✅Formal Verification

Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems ✅Formal Verification

arxiv.org·2d·Hacker News

EPIC: Abstraction and Polymorphism of In-Network Collectives on Ethernet 🌐Distributed Systems

End-to-End Formalization of Quantum Error Correction ✅Formal Verification

Formal Verification Gates for AI Coding Loops ✅Formal Verification

reubenbrooks.dev·14h·Hacker News

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

twitter.macworks.dev·8h

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

theneurondaily.com·10h

The Protocol: Ethereum Foundation's high-profile departures spark fresh debate 🛡️Byzantine Fault Tolerance

coindesk.com·13h

theory uplift differentially benefits safety & is underleveraged 📜Constitutional AI

lesswrong.com·8h

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

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

Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws ... 🧠Reasoning Models

techmeme.com·2d

RT by @ylecun: Aleph, our fully autonomous AI agent system for formal verification, aced all major theorem proving benchmarks including PutnamBench, VeriSoftBen... 📐Theorem Proving

twitter.macworks.dev·6d

Formal Verification Gates for AI Coding Loops ✅Formal Verification

news.ycombinator.com·4h·Hacker News

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

·2d

Portland PLV Group 🔤PLT

plv.cs.pdx.edu·5d

Log in to enable infinite scrolling