中文
相关论文

相关论文: OptiRica: Towards an Efficient Optimizing Horn Sol…

200 篇论文

Optimization problems arising in data science have given rise to a number of new derivative-based optimization methods. Such methods often use standard smoothness assumptions -- namely, global Lipschitz continuity of the gradient function…

最优化与控制 · 数学 2024-04-16 Christian Varner , Vivak Patel

The rapid growth of Large Language Models (LLMs) has been a driving force in transforming various domains, reshaping the artificial general intelligence landscape. However, the increasing computational and memory demands of these models…

Matrices with hierarchical low-rank structure, including HODLR and HSS matrices, constitute a versatile tool to develop fast algorithms for addressing large-scale problems. While existing software packages for such matrices often focus on…

数值分析 · 数学 2020-01-30 Stefano Massei , Leonardo Robol , Daniel Kressner

The fast-growing amount of information on the Internet makes the research in automatic document summarization very urgent. It is an effective solution for information overload. Many approaches have been proposed based on different…

计算与语言 · 计算机科学 2018-08-01 Kamal Al-Sabahi , Zuping Zhang , Jun Long , Khaled Alwesabi

There is growing interest in utilizing large language models (LLMs) as co-pilots for combinatorial optimization and constraint programming tasks across various problems. This paper aims to advance this line of research by introducing…

计算与语言 · 计算机科学 2025-03-17 Akash Singirikonda , Serdar Kadioglu , Karthik Uppuluri

Maximum Satisfiability (MaxSAT) is an optimization variant of the Boolean Satisfiability (SAT) problem. In general, MaxSAT algorithms perform a succession of SAT solver calls to reach an optimum solution making extensive use of cardinality…

计算机科学中的逻辑 · 计算机科学 2014-08-21 Ruben Martins , Saurabh Joshi , Vasco Manquinho , Ines Lynce

This paper introduces a novel Large Language Models (LLMs)-assisted agent that automatically converts natural-language descriptions of power system optimization scenarios into compact, solver-ready formulations and generates corresponding…

人工智能 · 计算机科学 2025-08-12 Yunkai Hu , Tianqiao Zhao , Meng Yue

This article details the algorithmics in FLSSS, an R package for solving various subset sum problems. The fundamental algorithm engages the problem via combinatorial space compression adaptive to constraints, relaxations and variations that…

数据结构与算法 · 计算机科学 2018-11-27 Charlie Wusuo Liu

This work presents a new approach for simulating the HHL linear systems of equations solver algorithm with tensor networks. First, a novel HHL in the qudits formalism, the generalization of qubits, is developed, and then its operations are…

Decentralized optimization is a powerful paradigm that finds applications in engineering and learning design. This work studies decentralized composite optimization problems with non-smooth regularization terms. Most existing gradient-based…

最优化与控制 · 数学 2019-10-29 Sulaiman A. Alghunaim , Kun Yuan , Ali H. Sayed

Optimization is an essential component for solving problems in wide-ranging fields. Ideally, the objective function should be designed such that the solution is unique and the optimization problem can be solved stably. However, the…

机器人学 · 计算机科学 2020-07-27 Takayuki Osa

Multi-domain fine-tuning of large language models requires improving performance on target domains while preserving performance on constrained domains, such as general knowledge, instruction following, or safety evaluations. Existing data…

机器学习 · 计算机科学 2026-05-12 Eleonora Gualdoni , Sonia Laguna , Louis Bethune , Joao Monteiro , Pierre Ablin , Marco Cuturi

Automated slicing aims to identify subsets of evaluation data where a trained model performs anomalously. This is an important problem for machine learning pipelines in production since it plays a key role in model debugging and comparison,…

机器学习 · 计算机科学 2022-12-20 Zifan Liu , Evan Rosen , Paul Suganthan G. C

Constrained optimization problems appear in a wide variety of challenging real-world problems, where constraints often capture the physics of the underlying system. Classic methods for solving these problems rely on iterative algorithms…

系统与控制 · 电气工程与系统科学 2023-06-13 Meiyi Li , Soheil Kolouri , Javad Mohammadi

The article is devoted to the development of numerical methods for solving saddle point problems and variational inequalities with simplified requirements for the smoothness conditions of functionals. Recently there were proposed some…

最优化与控制 · 数学 2023-11-22 Alexander Titov , Fedor Stonyakin , Mohammad Alkousa , Alexander Gasnikov

Boolean MaxSAT, as well as generalized formulations such as Min-MaxSAT and Max-hybrid-SAT, are fundamental optimization problems in Boolean reasoning. Existing methods for MaxSAT have been successful in solving benchmarks in CNF format.…

人工智能 · 计算机科学 2023-05-09 Anastasios Kyrillidis , Moshe Y. Vardi , Zhiwei Zhang

This paper provides a review and commentary on the past, present, and future of numerical optimization algorithms in the context of machine learning applications. Through case studies on text classification and the training of deep neural…

机器学习 · 统计学 2018-02-12 Léon Bottou , Frank E. Curtis , Jorge Nocedal

The integration of Large Language Models (LLMs) into optimization has created a powerful synergy, opening exciting research opportunities. This paper investigates how LLMs can enhance existing optimization algorithms. Using their…

人工智能 · 计算机科学 2025-02-13 Camilo Chacón Sartori , Christian Blum

Machine Learning models incorporating multiple layered learning networks have been seen to provide effective models for various classification problems. The resulting optimization problem to solve for the optimal vector minimizing the…

最优化与控制 · 数学 2018-07-03 Vyacheslav Kungurtsev , Tomas Pevny

We propose a methodology, based on machine learning and optimization, for selecting a solver configuration for a given instance. First, we employ a set of solved instances and configurations in order to learn a performance function of the…

最优化与控制 · 数学 2024-01-10 Gabriele Iommazzo , Claudia D'Ambrosio , Antonio Frangioni , Leo Liberti