🧩 SAT Solvers - tiferrei · Scour

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology 🧮SMT Solvers

arxiv.org·4d

Lattice-Based Cryptography and Formal Verification 🛡️seL4

mayckongiovani.substack.com·1d·Substack

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

Hypergraph Neural Networks Accelerate MUS Enumeration 🧮SMT Solvers

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

SMT-AD: a scalable quantum-inspired anomaly detection approach 👁️Observability

arxiv.org·5d

No more posts from tiferrei's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds