English
Related papers

Related papers: A Short Note on Zero-error Computation for Algebra…

200 papers

We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a lifting of probabilistic bisimulation to polynomial…

Logic in Computer Science · Computer Science 2021-04-28 Giorgio Bacci , Giovanni Bacci , Kim G. Larsen , Mirco Tribastone , Max Tschaikowski , Andrea Vandin

In this Letter we propose a new method to infer the topology of the interaction network in pairwise models with Ising variables. By using the pseudolikelihood method (PLM) at high temperature, it is generally possible to distinguish between…

Disordered Systems and Neural Networks · Physics 2014-02-25 Aurélien Decelle , Federico Ricci-Tersenghi

We present an algorithm that enumerates all the minimal triangulations of a graph in incremental polynomial time. Consequently, we get an algorithm for enumerating all the proper tree decompositions, in incremental polynomial time, where…

Data Structures and Algorithms · Computer Science 2023-07-28 Nofar Carmeli , Batya Kenig , Benny Kimelfeld , Markus Kröll

This paper presents alpaqa, an open-source C++ implementation of an augmented Lagrangian method for nonconvex constrained numerical optimization, using the first-order PANOC algorithm as inner solver. The implementation is packaged as an…

Optimization and Control · Mathematics 2021-12-07 Pieter Pas , Mathijs Schuurmans , Panagiotis Patrinos

Sum-of-squares (SOS) optimization provides a computationally tractable framework for certifying polynomial nonnegativity. If the considered problem is convex, the SOS problem can be transcribed into and solved by semi-definite programs.…

Optimization and Control · Mathematics 2026-04-14 Jan Olucak , Torbjørn Cunis

We propose PPLqa, an easy to compute, language independent, information-theoretic metric to measure the quality of responses of generative Large Language Models (LLMs) in an unsupervised way, without requiring ground truth annotations or…

Computation and Language · Computer Science 2024-11-26 Gerald Friedland , Xin Huang , Yueying Cui , Vishaal Kapoor , Ashish Khetan , Sanjiv Das

Traditional post-training quantization (PTQ) is considered an effective approach to reduce model size and accelerate inference of large-scale language models (LLMs). However, existing low-rank PTQ methods require costly fine-tuning to…

Machine Learning · Computer Science 2026-01-12 Hongyaoxing Gul , Lijuan Hu , Shuzi Niu , Fangfang Liu

Nowadays, the importance of software with natural-language user interfaces cannot be underestimated. In particular, in Question Answering (QA) systems, generating a SPARQL query for a given natural-language question (often named Query…

Information Retrieval · Computer Science 2025-07-21 Aleksandr Gashkov , Aleksandr Perevalov , Maria Eltsova , Andreas Both

Partial least squares regression (PLSR) has been a popular technique to explore the linear relationship between two datasets. However, most of algorithm implementations of PLSR may only achieve a suboptimal solution through an optimization…

Computer Vision and Pattern Recognition · Computer Science 2016-09-22 Haoran Chen , Yanfeng Sun , Junbin Gao , Yongli Hu , Baocai Yin

This paper introduces a family of iterative algorithms for unconstrained nonlinear optimal control. We generalize the well-known iLQR algorithm to different multiple-shooting variants, combining advantages like straight-forward…

Systems and Control · Computer Science 2017-12-12 Markus Giftthaler , Michael Neunert , Markus Stäuble , Jonas Buchli , Moritz Diehl

We introduce a new sorting algorithm that is the combination of ML-enhanced sorting with the In-place Super Scalar Sample Sort (IPS4o). The main contribution of our work is to achieve parallel ML-enhanced sorting, as previous algorithms…

Data Structures and Algorithms · Computer Science 2022-08-26 Ivan Carvalho

Recently, several striking advances have taken place regarding the discrete logarithm problem (DLP) in finite fields of small characteristic, despite progress having remained essentially static for nearly thirty years, with the best known…

Number Theory · Mathematics 2020-08-25 Robert Granger , Thorsten Kleinjung , Jens Zumbrägel

In our work, we consider the linear least squares problem for $m\times n$-systems of linear equations $Ax = b$, $m\geq n$, such that the matrix $A$ and right-hand side vector $b$ can vary within an interval $m\times n$-matrix and an…

Numerical Analysis · Mathematics 2020-01-22 Sergey P. Shary , Behnam Moradi

An algorithm is proposed, analyzed, and tested experimentally for solving stochastic optimization problems in which the decision variables are constrained to satisfy equations defined by deterministic, smooth, and nonlinear functions. It is…

Optimization and Control · Mathematics 2021-07-09 Frank E. Curtis , Daniel P. Robinson , Baoyu Zhou

Total least squares (TLS) methods have been widely used in data fitting. Compared with the least squares method, for TLS problem we takes into account not only the observation errors, but also the errors in the measurement matrix. This is…

Numerical Analysis · Mathematics 2022-05-03 Qian Zuo , Yimin Wei , Hua Xiang

Partial Least Squares (PLS) methods have been heavily exploited to analyse the association between two blocs of data. These powerful approaches can be applied to data sets where the number of variables is greater than the number of…

Machine Learning · Statistics 2017-02-24 Pierre Lafaye de Micheaux , Benoit Liquet , Matthew Sutton

The application of a zeroth-order scheme for minimising Polyak-\L{}ojasewicz (PL) functions is considered. The framework is based on exploiting a random oracle to estimate the function gradient. The convergence of the algorithm to a global…

Optimization and Control · Mathematics 2025-04-07 Amir Ali Farzin , Iman Shames

This paper considers fast algorithms for operations on linearized polynomials. We propose a new multiplication algorithm for skew polynomials (a generalization of linearized polynomials) which has sub-quadratic complexity in the polynomial…

Symbolic Computation · Computer Science 2017-07-12 Sven Puchinger , Antonia Wachter-Zeh

A common pipeline in learning-based control is to iteratively estimate a model of system dynamics, and apply a trajectory optimization algorithm - e.g.~$\mathtt{iLQR}$ - on the learned model to minimize a target cost. This paper conducts a…

Machine Learning · Computer Science 2023-05-17 Daniel Pfrommer , Max Simchowitz , Tyler Westenbroek , Nikolai Matni , Stephen Tu

This thesis is devoted to studying estimates of the least common multiple of some integer sequences. Our study focuses on effective bounding of the $\mathrm{lcm}$ of some class of quadratic sequences, as well as arithmetic progressions and…

Number Theory · Mathematics 2020-12-11 Sid Ali Bousla