🎯 Constraint Solving - beachlorn · Scour

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem 🎯Constraint Programming

arxiv.org·3d

MysticCodingCat/CUDA-Native-HUBO: A GPU-native solver for 3-way combinatorial optimization (HUBO). Achieving digital-annealer-level performance on a single RTX 3060 Ti 🧩SMT Solvers

github.com·1d·Hacker News

Preconditioning and Momentum in Optimization: Yandex Researchers Introduce PHB and PN ✨Effect Handlers

medium.com

·2d

MLS Part 15 : Clustering in Machine Learning — From K-Means to Advanced Optimization with Optuna 🔬Closure Analysis

medium.com·6d

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology 🧩SMT Solvers

arxiv.org·20h

wuwangzhang1216/abliterix: Fully automatic censorship removal for language models. LoRA abliteration + Optuna TPE optimization. ✨Effect Handlers

github.com·2d·r/LocalLLaMA

Fast Heterogeneous Serving: Scalable Mixed-Scale LLM Allocation for SLO-Constrained Inference 🧩SMT Solvers

arxiv.org·20h

On the Decompositionality of Neural Networks ➡️Linear Logic

arxiv.org·20h

vijayvkrishnan/openmix: Open-source framework for computational formulation science from ingredient validation to autonomous mixture optimization. The missing infrastructure layer between single-molecule tools (RDKit) and real-world formulation. 🔍Refinement Types

github.com·2d·Hacker News

Exploration of Pareto-preserving Search Space Transformations in Multi-objective Test Functions 🔬Closure Analysis

arxiv.org·20h

Show HN: Meta-agent: self-improving agent harnesses from live traces 💧Elixir

github.com·4d·Hacker News

QaRL: Rollout-Aligned Quantization-Aware RL for Fast and Stable Training under Training--Inference Mismatch ➡️Linear Logic

arxiv.org·20h

Select-then-Solve: Paradigm Routing as Inference-Time Optimization for LLM Agents 🧩SMT Solvers

arxiv.org·1d

Multi-Modal Learning meets Genetic Programming: Analyzing Alignment in Latent Space Optimization 🔗Parser Combinators

arxiv.org·20h

Joint Optimization of Reasoning and Dual-Memory for Self-Learning Diagnostic Agent ✓Formal Verification

arxiv.org·1d

Structural Segmentation of the Minimum Set Cover Problem: Exploiting Universe Decomposability for Metaheuristic Optimization 🎯Constraint Programming

arxiv.org·3d

A Review of Variational Quantum Algorithms: Insights into Fault-Tolerant Quantum Computing ⚛️Physics

arxiv.org·20h

Rethinking Generalization in Reasoning SFT: A Conditional Analysis on Optimization, Data, and Model Capability 🧩SMT Solvers

arxiv.org·1d

When Switching Algorithms Helps: A Theoretical Study of Online Algorithm Selection 🎯Constraint Programming

arxiv.org·20h

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks 🧩SMT Solvers

arxiv.org·4d

Loading more...