✅ Formal Methods - Abhi · Scour

The Data Layer Problem in Agentic AI — Why Your Agent Knows Everything Except What It Needs 📐TLA+

docs.apitier.com·3d·DEV

Near-term fermionic simulation with subspace noise tailored quantum error mitigation 🕸️Distributed Systems

Part 3: Wiring It Into AWS DevOps Agent — AgentSpace, register-service, and the IAM Trust Policy That Ate My Afternoon 🔄Eventual Consistency

·12h·DEV

Presentation: Building a Future-Proof Observability Platform to Empower Engineers 🗳️Raft Consensus

·3d

The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive 📐TLA+

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. 📐TLA+

github.com·1d·Hacker News

Proof Identity and Categorical Models of BV 📐TLA+

TalentProof/workproof-schema: An open specification for verified professional knowledge graphs 🧠Query Planners

github.com·1d·Hacker News

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 📐TLA+

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 📐TLA+

Faithful Autoformalization via Roundtrip Verification and Repair 📐TLA+

From Coalgebraic Determinization to Belief Construction for Partial Observability 📐CS Theory

Illya-Kryushenko/architecture-as-code: Structured architecture models linked to CAF, Zero Trust, and Infrastructure as Code 📐TLA+

github.com·5d·DEV

Automaton-based Characterisations of First Order Logic over Infinite Trees 📐TLA+

rsoury/drive-agent-scope-in-ci: CI wiring for PR description-driven agent spec/scope verification. 📐TLA+

github.com·6d·Hacker News

BenchGuard: Who Guards the Benchmarks? Automated Auditing of LLM Agent Benchmarks 📐TLA+

Verification of Neural Networks (Lecture Notes) 📐TLA+

Evergreen: Efficient Claim Verification for Semantic Aggregates 🧠Query Planners

Structured Security Auditing and Robustness Enhancement for Untrusted Agent Skills 📐TLA+

Logic of Fuzzy Paths 📐TLA+

Sign up or log in to see more results

Log in to enable infinite scrolling