✅ Formal Verification - jinkai_lau · Scour

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning 🧠LLMs

arxiv.org·1d

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code 🔒Zero Trust

eprint.iacr.org·3d

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

embedded.com·1d

Automated Security Assertion Generation Using LLMs (U. of Florida) 🧠LLMs

semiengineering.com·6d

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) ⚙️MLOps

github.com·1d·Hacker News

AI models could offer mathematicians a common language 🧠LLMs

economist.com

·1d

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🔍Static Analysis

symbolic.software·3d

Separator-Based Participation Commitments for Post-Quantum Attestation Aggregation 🔬eBPF

ethresear.ch·1d

An introduction to Turing machines and computation λFunctional Programming

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

Program Analysis: A Pragmatic Approach 🔍Static Analysis

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

Post-Quantum BIP-86 Recovery via zk-STARK Proof of BIP-32 Seed Knowledge 🔬eBPF

groups.google.com·1d

Proof Before Execution: Nothing Runs Without Being Proven 🛡️AI Safety

medium.com·3d

Extensible Execution Transaction for Account Capabilities 🔬eBPF

ethereum-magicians.org·2d

806 Proofs, 44 Annotations: What grind Can and Can't Do 🔍Static Analysis

alok.github.io·4d

How agile practices ensure quality in GenAI-assisted development ✅Dev Best Practices

infoworld.com·1d

Trust But Canary: Configuration Safety at Scale 🕸️Distributed Systems

engineering.fb.com·1d

Interactive Proofs [video] λFunctional Programming

youtube.com·6d·Hacker News

Autonomous AI Penetration Testing 🤖AI Engineering

llmtary.com·1d·Hacker News

The AI Problem Matrix 🤖AI Engineering

tomtunguz.com·1d

Adding Correctness Conditions to Code Changes ✅Dev Best Practices

jessitron.com·3d

Loading more...