🧩 SAT Solvers - tiferrei · Scour

A parallel and distributed fixed-point quantum search algorithm for solving SAT problems 🧮Z3 Solver

arxiv.org·22h

icme-preflight-mcp – Check that your AI is being logical. Free tool that mathematically catches contradictions in agent reasoning. No account needed. Also offer... 🔒Protocol Verification

glama.ai·3d·r/mcp

Lattice-Based Cryptography and Formal Verification 🛡️seL4

mayckongiovani.substack.com·1d·Substack

Aleph AI Solves 99.4% of PutnamBench, Topping Leaderboard 🧮SMT Solvers

logicalintelligence.com·21h

Andrew Zonenberg: "@janamarie @bipolaron the flux…" 💬Mach Messages

mystical.garden·2d

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

Lean proved this program was correct; then I found a bug 🧮Lean4

jmason.ie·12h

Cell wall remodeling–dependent morphotype switch in Mycobacterium avium differentially regulates colonization and tissue persistence 🔲Cellular Automata

pnas.org·8h

Need help with Windows in-Place Upgradation 💻QEMU

support.hpe.com·3d·r/sysadmin

Hypergraph Neural Networks Accelerate MUS Enumeration 🧮SMT Solvers

arxiv.org·1d

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification 🔧ppx

github.com·5d

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

arxiv.org·1d

Intent-aligned Formal Specification Synthesis via Traceable Refinement 🔍Formal Verification

arxiv.org·22h

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

arxiv.org·4d

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