🧮 SMT Solvers - tiferrei · Scour

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🧮Z3 Solver

arxiv.org·5d

A Dumb Introduction to z3 🧮Z3 Solver

ar-ms.me·1d·Lobsters, Hacker News

The Lean Programming Language and Theorem Prover 🧮Lean4

leodemoura.github.io·3d·Hacker News

From bytecode to bytes: automated magic packet generation 🌐NetworkProtocols

blog.cloudflare.com·6d·Hacker News

Hypergraph Neural Networks Accelerate MUS Enumeration 🧮Z3 Solver

arxiv.org·1d

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks 🧩SAT Solvers

arxiv.org·6d

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🔬Static Analysis

arxiv.org·5d

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection ✓Automated Theorem Proving

arxiv.org·6d

Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines 🧠Automated Reasoning

arxiv.org·6d

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 🤖Program Synthesis

arxiv.org·4d

Inference-Time Code Selection via Symbolic Equivalence Partitioning ⚙️Compiler Design

arxiv.org·5d

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