✅ Formal Verification - plumenator · Scour

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning 🧮Lean

arxiv.org·1d

Proof Before Execution: Nothing Runs Without Being Proven 🧮Lean

medium.com·3d

lakestream-io/leaderless-log-protocol: The spec of leaderless log protocol used in Ursa 🧮Lean

github.com·3h·Hacker News

Responsible and safe use of AI ✅Proof Assistants

openai.com·19h

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🔍Abstract Interpretation

embedded.com·2d

Cronozen Proof – Tamper-proof audit trail for AI decisions. 6 tools to record, verify, and export cryptographic proof chains. SHA-256 hash chain, JSON-LD v2 exp... 🧮Lean

glama.ai·1h·r/mcp

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🔍Abstract Interpretation

symbolic.software·3d

How agile practices ensure quality in GenAI-assisted development 🧮Lean

infoworld.com·1d

Separator-Based Participation Commitments for Post-Quantum Attestation Aggregation ✅Proof Assistants

ethresear.ch·1d

An introduction to Turing machines and computation λFunctional Programming

max-amb.github.io·6d·Hacker News

Secure MSM Outsourcing Computation for Zero-knowledge Proof Generation 🧮Lean

eprint.iacr.org·2d

Adding Correctness Conditions to Code Changes 🧮Lean

jessitron.com·3d

Program Analysis: A Pragmatic Approach 🔍Abstract Interpretation

homes.cs.washington.edu·1d·Lobsters

AI models could offer mathematicians a common language ✅Proof Assistants

economist.com

·2d

806 Proofs, 44 Annotations: What grind Can and Can't Do 🧮Lean

alok.github.io·4d

Autonomous AI Penetration Testing ✅Proof Assistants

llmtary.com·2d·Hacker News

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 🧮Lean

arxiv.org·15h

Code: Specification vs. implementation 🔍Abstract Interpretation

beesbuzz.biz·1d

Google study finds LLMs are embedded at every stage of abuse detection 🔍Abstract Interpretation

helpnetsecurity.com·3d

Trust But Canary: Configuration Safety at Scale 🧮Lean

engineering.fb.com·2d

Loading more...