English
Related papers

Related papers: The Local Cut Lemma

200 papers

Prompt compression methods enhance the efficiency of Large Language Models (LLMs) and minimize the cost by reducing the length of input context. The goal of prompt compression is to shorten the LLM prompt while maintaining a high generation…

Computation and Language · Computer Science 2025-08-25 Tinghui Zhang , Yifan Wang , Daisy Zhe Wang

Randomly initialized dense networks contain subnetworks that achieve high accuracy without weight learning--strong lottery tickets (SLTs). Recently, Gadhikar et al. (2023) demonstrated that SLTs could also be found within a randomly pruned…

We present a locality preserving loss (LPL) that improves the alignment between vector space embeddings while separating uncorrelated representations. Given two pretrained embedding manifolds, LPL optimizes a model to project an embedding…

Machine Learning · Computer Science 2021-03-15 Ashwinkumar Ganesan , Francis Ferraro , Tim Oates

If $L^x$ is the total occupation local time of $d$-dimensional super-Brownian motion, $X$, for $d=2$ and $d=3$, we construct a random measure $\mathcal{L}$, called the boundary local time measure, as a rescaling of $L^x e^{-\lambda L^x} dx$…

Probability · Mathematics 2020-01-27 Jieliang Hong

In sequent calculi, cut elimination is a property that guarantees that any provable formula can be proven analytically. For example, Gentzen's classical and intuitionistic calculi LK and LJ enjoy cut elimination. The property is less…

Logic in Computer Science · Computer Science 2020-08-11 Ekaterina Komendantskaya , Dmitry Rozplokhas , Henning Basold

Learning to generate complex combinatorial structures satisfying constraints will have transformative impacts in many application domains. However, it is beyond the capabilities of existing approaches due to the highly intractable nature of…

Machine Learning · Computer Science 2023-09-06 Nan Jiang , Yi Gu , Yexiang Xue

The aim of this note is twofold. On the one hand, we present a streamlined version of Molloy's new proof of the bound $\chi(G) \leq (1+o(1))\Delta(G)/\ln \Delta(G)$ for triangle-free graphs $G$, avoiding the technicalities of the entropy…

Combinatorics · Mathematics 2019-06-04 Anton Bernshteyn

Can we use machine learning to compress graph data? The absence of ordering in graphs poses a significant challenge to conventional compression algorithms, limiting their attainable gains as well as their ability to discover relevant…

Machine Learning · Computer Science 2023-09-26 Giorgos Bouritsas , Andreas Loukas , Nikolaos Karalias , Michael M. Bronstein

Compressing large language models (LLMs), often consisting of billions of parameters, provides faster inference, smaller memory footprints, and enables local deployment. Two standard compression techniques are pruning and quantization, with…

Computation and Language · Computer Science 2023-12-05 Satya Sai Srinath Namburi , Makesh Sreedhar , Srinath Srinivasan , Frederic Sala

In this paper, we obtain a local limit theorem for the Kemperman's model of oscillating random walk on $\mathbb{Z}$; it extends the existing results for classical random walks on $\mathbb Z$ or reflected random walks on $\mathbb N_0$. The…

Probability · Mathematics 2025-09-22 M. Peigné , C. Pham , T. D. Vo

We consider search problems with nonobligatory inspection and single-item or combinatorial selection. A decision maker is presented with a number of items, each of which contains an unknown price, and can pay an inspection cost to observe…

Computer Science and Game Theory · Computer Science 2025-01-17 Ziv Scully , Laura Doval

We give new algorithms based on Markov chains to sample and approximately count satisfying assignments to $k$-uniform CNF formulas where each variable appears at most $d$ times. For any $k$ and $d$ satisfying $kd<n^{o(1)}$ and $k\ge 20\log…

Data Structures and Algorithms · Computer Science 2019-11-05 Weiming Feng , Heng Guo , Yitong Yin , Chihao Zhang

Lattice reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with…

Cryptography and Security · Computer Science 2013-07-30 Felix Fontein , Michael Schneider , Urs Wagner

Ochem, Rampersad, and Shallit gave various examples of infinite words avoiding what they called approximate repetitions. An approximate repetition is a factor of the form xx', where x and x' are close to being identical. In their work, they…

Combinatorics · Mathematics 2016-08-03 Serina Camungol , Narad Rampersad

Recently, Glasner, Tsankov, Weiss, and Zucker showed that if $\Gamma$ is an infinite discrete group, then every minimal $\Gamma$-flow is disjoint from the Bernoulli shift $2^\Gamma$. Their proof is somewhat involved; in particular, it…

Dynamical Systems · Mathematics 2020-04-29 Anton Bernshteyn

For supervised classification problems, this paper considers estimating the query's label probability through local regression using observed covariates. Well-known nonparametric kernel smoother and $k$-nearest neighbor ($k$-NN) estimator,…

Machine Learning · Statistics 2022-07-25 Ruixing Cao , Akifumi Okuno , Kei Nakagawa , Hidetoshi Shimodaira

``Localization'' has proven to be a valuable tool in the Statistical Learning literature as it allows sharp risk bounds in terms of the problem geometry. Localized bounds seem to be much less exploited in the Stochastic Optimization…

Optimization and Control · Mathematics 2023-03-30 Roberto I. Oliveira , Philip Thompson

We consider the lossless compression bound of any individual data sequence. If we fit the data by a parametric model, the entropy quantity $nH({\hat \theta}_n)$ obtained by plugging in the maximum likelihood estimate is an underestimate of…

Information Theory · Computer Science 2024-01-23 Lei M Li

This paper considers the average complexity of maximum likelihood (ML) decoding of convolutional codes. ML decoding can be modeled as finding the most probable path taken through a Markov graph. Integrated with the Viterbi algorithm (VA),…

Information Theory · Computer Science 2016-11-17 Jie Luo

In the Shortest Common Superstring problem, one needs to find the shortest superstring for a set of strings. This problem is APX-hard, and many approximation algorithms were proposed, with the current best approximation factor of 2.466.…

Data Structures and Algorithms · Computer Science 2024-07-31 Maksim Nikolaev
‹ Prev 1 8 9 10 Next ›