🧮 Z3 Solver - tiferrei · Scour

The Lean Programming Language and Theorem Prover 🧮Lean4

leodemoura.github.io·3d·Hacker News

Hypergraph Neural Networks Accelerate MUS Enumeration 🧮SMT Solvers

arxiv.org·1d

Lattice-Based Cryptography and Formal Verification 🛡️seL4

mayckongiovani.substack.com·1d·Substack

MoonBit 0.9: Introducing First-Class Formal Verification 🛡️seL4

moonbitlang.com·6d·Lobsters

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) 🛡️seL4

github.com·5d·Hacker News

MATCHA: Efficient Deployment of Deep Neural Networks on Multi-Accelerator Heterogeneous Edge SoCs 🧠Apple Neural Engine

arxiv.org·1d

CORA: Conformal Risk-Controlled Agents for Safeguarded Mobile GUI Automation 🔲Cellular Automata

arxiv.org·1d

PROMISE: Proof Automation as Structural Imitation of Human Reasoning ✓Automated Theorem Proving

arxiv.org·6d

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem 🛡️seL4

arxiv.org·5d

No more posts from tiferrei's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds