🧮 Z3 Solver - tiferrei · Scour

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

arxiv.org·18h

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·18h

A perfectable programming language ⚙️Compiler Design

news.ycombinator.com·1d·Hacker News

The Lean Programming Language and Theorem Prover 🧮Lean4

leodemoura.github.io·3d·Hacker News

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

jmason.ie·9h

Chip Industry Technical Paper Roundup: Apr. 14 🔧Microcontrollers

semiengineering.com·15h

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

Jamming as a topological satisfiability transition with contact number hyperuniformity and criticality 🔢Computability Theory

pnas.org·6d

Hypergraph Neural Networks Accelerate MUS Enumeration 🧮SMT Solvers

arxiv.org·1d

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

arxiv.org·1d

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

github.com·5d

Planted-solution SAT and Ising benchmarks from integer factorization 🔍CBMC

arxiv.org·18h

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

arxiv.org·1d

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning 🛡️seL4

arxiv.org·18h

Learning from Contrasts: Synthesizing Reasoning Paths from Diverse Search Trajectories 🧠Automated Reasoning

arxiv.org·18h

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