:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Montalbano, Pierre, de Givry, Simon, Katsirelos, George
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2509.17706
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Bound Consistency for the No-Overlap Constraint Using MDDs
by: Guichard, Amaury, et al.
Published: (2026)

Implementing Cumulative Functions with Generalized Cumulative Constraints
by: Schaus, Pierre, et al.
Published: (2025)

Structured Self-Consistency:A Multi-Task Evaluation of LLMs on VirtualHome
by: Xu, Jiaqi, et al.
Published: (2026)

Linear Causal Discovery with Interventional Constraints
by: Guo, Zhigao, et al.
Published: (2025)

Treat Different Negatives Differently: Enriching Loss Functions with Domain and Range Constraints for Link Prediction
by: Hubert, Nicolas, et al.
Published: (2023)

Efficient Implementation of the Global Cardinality Constraint with Costs
by: Schmied, Margaux, et al.
Published: (2025)

Dual Consistent Constraint via Disentangled Consistency and Complementarity for Multi-view Clustering
by: Li, Bo, et al.
Published: (2025)

PCEvo: Path-Consistent Molecular Representation via Virtual Evolutionary
by: Li, Kun, et al.
Published: (2026)

Hyperparameter Optimization of Constraint Programming Solvers
by: Haddad, Hedieh, et al.
Published: (2026)

Benchmarking the State of Networks with a Low-Cost Method Based on Reservoir Computing
by: Reimers, Felix Simon, et al.
Published: (2025)

Virtual Width Networks
by: Seed, et al.
Published: (2025)

Cost-Sensitive Learning to Defer to Multiple Experts with Workload Constraints
by: Alves, Jean V., et al.
Published: (2024)

Virtual Agent Economies
by: Tomasev, Nenad, et al.
Published: (2025)

CSPs with Few Alien Constraints
by: Jonsson, Peter, et al.
Published: (2024)

Adaptive and Robust Cost-Aware Proof of Quality for Decentralized LLM Inference Networks
by: Tian, Arther, et al.
Published: (2026)

Learning to Solve Combinatorial Optimization under Positive Linear Constraints via Non-Autoregressive Neural Networks
by: Wang, Runzhong, et al.
Published: (2024)

On the Expressive Power of Transformers for Maxout Networks and Continuous Piecewise Linear Functions
by: Gu, Linyan, et al.
Published: (2026)

The Impact of LLM Self-Consistency and Reasoning Effort on Automated Scoring Accuracy and Cost
by: Frohn, Scott
Published: (2026)

Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming
by: Lera-Leri, Roger Xavier, et al.
Published: (2025)

Sequence Variables: A Constraint Programming Computational Domain for Routing and Sequencing
by: Delecluse, Augustin, et al.
Published: (2025)

SwiftTry: Fast and Consistent Video Virtual Try-On with Diffusion Models
by: Nguyen, Hung, et al.
Published: (2024)

Multi-task Visual Grounding with Coarse-to-Fine Consistency Constraints
by: Dai, Ming, et al.
Published: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

Regularized Q-Learning with Linear Function Approximation
by: Xi, Jiachen, et al.
Published: (2024)

Layerwise LQR for Geometry-Aware Optimization of Deep Networks
by: Dufort-Labbé, Simon, et al.
Published: (2026)

Self-Consistency Is Losing Its Edge: Diminishing Returns and Rising Costs in Modern LLMs
by: Loo, Chiyan
Published: (2025)

Make Every Penny Count: Difficulty-Adaptive Self-Consistency for Cost-Efficient Reasoning
by: Wang, Xinglin, et al.
Published: (2024)

Escape Sky-high Cost: Early-stopping Self-Consistency for Multi-step Reasoning
by: Li, Yiwei, et al.
Published: (2024)

An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques
by: Zhang, Mingwei, et al.
Published: (2025)

AgentBalance: Backbone-then-Topology Design for Cost-Effective Multi-Agent Systems under Budget Constraints
by: Cai, Shuowei, et al.
Published: (2025)

Deciding the Satisfiability of Combined Qualitative Constraint Networks
by: Cohen-Solal, Quentin, et al.
Published: (2026)

Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
by: Zhou, Duo, et al.
Published: (2025)

Consciousness in Artificial Intelligence? A Framework for Classifying Objections and Constraints
by: Campero, Andres, et al.
Published: (2025)

Learning with Embedded Linear Equality Constraints via Variational Bayesian Inference
by: Marsh, Matthew, et al.
Published: (2026)

Relating Piecewise Linear Kolmogorov Arnold Networks to ReLU Networks
by: Schoots, Nandi, et al.
Published: (2025)

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models
by: Crespin, Augustin, et al.
Published: (2025)

VecCISC: Improving Confidence-Informed Self-Consistency with Reasoning Trace Clustering and Candidate Answer Selection
by: Petullo, James, et al.
Published: (2026)

Learning to Explore with Lagrangians for Bandits under Unknown Linear Constraints
by: Das, Udvas, et al.
Published: (2024)

Semantic Intelligence: Integrating GPT-4 with A Planning in Low-Cost Robotics
by: Barkley, Jesse, et al.
Published: (2025)

Feedforward Ordering in Neural Connectomes via Feedback Arc Minimization
by: Vahidi, Soroush
Published: (2025)