🔗 Constraint Solving - DRMacIver · Scour

DiBS: Diffusion-Informed Branch Selection

🎯Randomized Algorithms Academic

Mankirat47/Dao-Heart-3.13: An inspectable, symbolic value governance layer for AI, simulate then commit guards for warmth, agency, identity, and honesty, with falsifiable benchmarks.

🧪Property Testing Code

github.com··Hacker News

Multi-ResNets for Subspace Preconditioning in Constrained Optimization

🧩SMT Solvers Academic

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

🧩SMT Solvers Code

Noise-Adaptive High-Probability Regret Bounds for Online Convex Optimization

🎯Randomized Algorithms Academic

Who Earns the Safety? Intervention-Aware Quantum Predictive Control with Safety Attribution

🎲Fuzzing Academic

DiffSlack: Learning under Nonlinear Inequality Constraints via Learnable Slack Variables

🎯Randomized Algorithms Academic

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

🔢Model Counting Academic

Adaptive Model Predictive Control of Nonlinear Generic Urban Air Mobility Using Linear Parameter-Varying Systems

🎯Randomized Algorithms Academic

Exploring the landscape of compact magic-state distillation factories

🧩SMT Solvers Academic

VCIFBench: Evaluating Complex Instruction Following for Video Understanding

🔍Program Analysis Academic

MDP-GRPO: Stabilized Group Relative Policy Optimization for Multi-Constraint Instruction Following

🎯Randomized Algorithms Academic

Distribution-Free Risk-Aware Planning and Control Under Uncertainty Using Conformal Spectral Risk Control

🎯Randomized Algorithms Academic

Amortized Nonlinear Model Predictive Control

🎯Randomized Algorithms Academic

Log in to enable infinite scrolling