🔧 SMT Solvers - ghosh.debasish · Scour

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields 📐Theorem Proving

libsolv (3) Linux Manual Page 🦀Rust

systutorials.com·5d

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. ✅Formal Verification

github.com·22h·Hacker News

How Auto Transport Logistics Actually Works: A Technical Deep Dive 🦀Rust

shipacarinc.com·6d·DEV

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 📐Theorem Proving

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving 📐Theorem Proving

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent 📐Theorem Proving

Benchmarking Testing in Automated Theorem Proving 📐Theorem Proving

Uncertainty-Aware Predictive Safety Filters for Probabilistic Neural Network Dynamics 🔍Mechanistic Interpretability

The Polynomial Hierarchy and $\omega$-categorical CSPs 🔁Category Theory

Characterizing Streaming Decidability of CSPs via Non-Redundancy 📐Linearizability

Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning 🧠Reasoning Models

Boolean PCSPs through the lens of Fourier Analysis 🔤PLT

Rethinking Wireless Communications through Formal Mathematical AI Reasoning 🧠Reasoning Models

Kernelization Bounds for Constrained Coloring 🌊Streaming Algorithms

VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis 🔧Intermediate Representations

Learning Control Policies to Provably Satisfy Hard Affine Constraints for Black-Box Hybrid Dynamical Systems 🎯RLHF

Log in to enable infinite scrolling