🛡️ seL4 - tiferrei · Scour

MoonBit 0.9: Introducing First-Class Formal Verification 🔍Formal Verification

moonbitlang.com·6d·Lobsters

Lattice-Based Cryptography and Formal Verification 🔒Protocol Verification

mayckongiovani.substack.com·1d·Substack

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

arxiv.org·1d

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) 🔍Formal Verification

github.com·5d·Hacker News

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

arxiv.org·6d

Munkres' General Topology Autoformalized in Isabelle/HOL ➡️Category Theory

arxiv.org·4d

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem 🔒Protocol Verification

arxiv.org·5d

No more posts from tiferrei's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds