📋 Formal Methods - ndjenks · Scour

Formal Methods 🔧Compilers

formalmethods.dk·5d·Lobsters

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🪝eBPF

symbolic.software·2d

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🏗️AI Infrastructure

arxiv.org·20h

Cryptographic Provenance for LLM Inference ⚙️LLVM

commitllm.com·5d·Hacker News

Towards Autonomous Protocol Proofs 🌐Distributed Systems

will62794.github.io·6d·Hacker News

Automated Conjecture Resolution with Formal Verification 🏗️AI Infrastructure

arxiv.org·1d

Automated Security Assertion Generation Using LLMs (U. of Florida) ⚙️LLVM

semiengineering.com·5d

A real-world case of property-based verification 🌐Distributed Systems

ochagavia.nl·4d·Lobsters, Hacker News, r/rust

Can We Secure AI With Formal Methods? January-March 2026 🏗️AI Infrastructure

lesswrong.com·6d

FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification 🔧Compilers

arxiv.org·1d

fabio-rovai/tardygrada: A programming language where every agent output is cryptographically verified. 194KB binary. Zero dependencies. Pure C11. Coq-proven BFT. tardy terraform replaces LangChain/CrewAI/AutoGen in ~15 lines. 🏗️AI Infrastructure

github.com·5d·r/SideProject

An introduction to Turing machines and computation 🌐Distributed Systems

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

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL 🌐Distributed Systems

arxiv.org·1d

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 🔧Compilers

arxiv.org·20h

A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms 🏗️AI Infrastructure

arxiv.org·20h

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems 🌐Distributed Systems

arxiv.org·20h

Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition 🔧Compilers

arxiv.org·2d

Analyzing Symbolic Properties for DRL Agents in Systems and Networking 🌐Distributed Systems

arxiv.org·1d

Justified or Just Convincing? Error Verifiability as a Dimension of LLM Quality 🌐Distributed Systems

arxiv.org·1d

CB-VER: A Stable Foundation for Modular Control Plane Verification 🌐Distributed Systems

arxiv.org·1d

Loading more...