Optimization

An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025 An Optimal Algorithm for Strongly Convex Min-Min Optimization UAI 2025 A SAT-based Method for Counting All Singleton Attractors in Boolean Networks IJCAI 2025 A Survey of Optimization Modeling Meets LLMs: Progress and Future Directions IJCAI 2025 Asymptotic Analysis of Weighted Fair Division IJCAI 2025 Asymptotic Fair Division: Chores Are Easier Than Goods IJCAI 2025 A Tight Convergence Analysis of Inexact Stochastic Proximal Point Algorithm for Stochastic Composite Optimization Problems ICLR 2025 A Trust-Region Method for Graphical Stein Variational Inference UAI 2025 Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025 Automating the loop in traffic incident management on highway L4DC 2025 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Beyond Discretization: Learning the Optimal Solution Path AISTATS 2025 Beyond Size-Based Metrics: Measuring Task-Specific Complexity in Symbolic Regression AISTATS 2025 Budget Allocation Exploiting Label Correlation between Instances UAI 2025 Cauchy-Schwarz Regularizers ICLR 2025 ClubHeap: A High-Speed and Scalable Priority Queue for Programmable Packet Scheduling NSDI 2025 Coevolutionary Emergent Systems Optimization with Applications to Ultra-High-Dimensional Metasurface Design : OAM Wave Manipulation UAI 2025 Coupling-based Convergence Diagnostic and Stepsize Scheme for Stochastic Gradient Descent AAAI 2025 DashGaussian: Optimizing 3D Gaussian Splatting in 200 Seconds CVPR 2025 DCC: Differentiable Cardinality Constraints for Partial Index Tracking AAAI 2025 Decentralized Asynchronous Optimization with DADAO allows Decoupling and Acceleration JMLR 2025 Decision Information Meets Large Language Models: The Future of Explainable Operations Research ICLR 2025 Decouple and Decompose: Scaling Resource Allocation with DeDe OSDI 2025 Decoupling Training-Free Guided Diffusion by ADMM CVPR 2025 Densest k-Subgraph Mining via a Provably Tight Relaxation AAAI 2025