🔧 SMT Solvers - ghosh.debasish · Scour

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 📐Linearizability

arxiv.org·1d

Why Lean? 🖥️Systems Programming

leodemoura.github.io·6d·Lobsters, Hacker News

Jamming as a topological satisfiability transition with contact number hyperuniformity and criticality 🌐Distributed Systems

pnas.org·2d

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 📊LLM Evaluation

arxiv.org·9h

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem 📊Algorithms

arxiv.org·3d

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks 📐Linearizability

arxiv.org·2d

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery ✅Formal Verification

arxiv.org·1d

A Quantum Search Approach to Magic Square Constraint Problems with Classical Benchmarking 🏃Online Algorithms

arxiv.org·3d

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection 🤖AI Agents

arxiv.org·2d

Inference-Time Code Selection via Symbolic Equivalence Partitioning 🧠Reasoning Models

arxiv.org·1d

Query Optimization and Evaluation via Information Theory: A Tutorial ⚡Query Optimization

arxiv.org·3d

Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines 🛢️Database Internals

arxiv.org·2d

Differentiable Symbolic Planning: A Neural Architecture for Constraint Reasoning with Learned Feasibility 🧠Reasoning Models

arxiv.org·4d

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

arxiv.org·1d

Unified Vector Floorplan Generation via Markup Representation 🔧Intermediate Representations

arxiv.org·3d

BAAI Cardiac Agent: An intelligent multimodal agent for automated reasoning and diagnosis of cardiovascular diseases from cardiac magnetic resonance imaging 🧠Reasoning Models

arxiv.org·3d

Loading more...