中文
相关论文

相关论文: Randomness and lowness notions via open covers

200 篇论文

Learning and compression are driven by the common aim of identifying and exploiting statistical regularities in data, which opens the door for fertile collaboration between these areas. A promising group of compression techniques for…

机器学习 · 计算机科学 2021-02-02 Fernando E. Rosas , Pedro A. M. Mediano , Michael Gastpar

The Skolem Problem asks, given an integer linear recurrence sequence (LRS), to determine whether the sequence contains a zero term or not. Its decidability is a longstanding open problem in theoretical computer science and automata theory.…

计算复杂性 · 计算机科学 2025-08-05 Gorav Jindal , Joël Ouaknine

Neural networks achieve outstanding accuracy in classification and regression tasks. However, understanding their behavior still remains an open challenge that requires questions to be addressed on the robustness, explainability and…

机器学习 · 计算机科学 2021-05-13 Anna-Kathrin Kopetzki , Stephan Günnemann

We derive generalization bounds for learning algorithms based on their robustness: the property that if a testing sample is "similar" to a training sample, then the testing error is close to the training error. This provides a novel…

机器学习 · 计算机科学 2015-03-17 Huan Xu , Shie Mannor

This paper defines a new notion of bounded computable randomness for certain classes of sub-computable functions which lack a universal machine. In particular, we define such versions of randomness for primitive recursive functions and for…

计算机科学中的逻辑 · 计算机科学 2015-07-01 Sam Buss , Douglas Cenzer , Jeffrey B. Remmel

A nearly linear recurrence sequence (nlrs) is a complex sequence $(a_n)$ with the property that there exist complex numbers $A_0$,$\ldots$, $A_{d-1}$ such that the sequence $\big(a_{n+d}+A_{d-1}a_{n+d-1}+\cdots +A_0a_n\big)_{n=0}^{\infty}$…

数论 · 数学 2016-08-02 Shigeki Akiyama , Jan-Hendrik Evertse , Attila Pethő

Large Language Models' (LLMs) weight matrices can often be expressed in low-rank form with potential to relax memory and compute resource requirements. Unlike prior efforts that focus on developing novel matrix decompositions, in this work…

机器学习 · 计算机科学 2025-06-10 Ajay Jaiswal , Yifan Wang , Lu Yin , Shiwei Liu , Runjin Chen , Jiawei Zhao , Ananth Grama , Yuandong Tian , Zhangyang Wang

We answer a question of Ambos-Spies and Ku\v{c}era in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests.

逻辑 · 数学 2014-08-14 Bjørn Kjos-Hanssen , André Nies , Frank Stephan

The notions of almost everywhere (a.e.) domination and its uniform version were introduced and studied in reverse mathematics. This paper studies these notions from a recursion-theoretic point of view and explore their connections to…

逻辑 · 数学 2014-08-12 Stephen Binns , Bjørn Kjos-Hanssen , Manuel Lerman , Reed Solomon

We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) As the main result we show that a real number z in [0,1] is computably random if and only if each nondecreasing computable function…

逻辑 · 数学 2018-12-10 Vasco Brattka , Joseph S. Miller , André Nies

Introduced as a notion of algorithmic fairness, multicalibration has proved to be a powerful and versatile concept with implications far beyond its original intent. This stringent notion -- that predictions be well-calibrated across a rich…

机器学习 · 计算机科学 2022-06-17 Parikshit Gopalan , Michael P. Kim , Mihir Singhal , Shengjia Zhao

Fallacies are defective arguments with faulty reasoning. Detecting and classifying them is a crucial NLP task to prevent misinformation, manipulative claims, and biased decisions. However, existing fallacy classifiers are limited by the…

计算与语言 · 计算机科学 2024-10-22 Fengjun Pan , Xiaobao Wu , Zongrui Li , Anh Tuan Luu

A method of prediction is presented to aid compression of sequences of complex-valued samples. The focus is on using prediction to reduce the average magnitude of residual values after prediction (not on the subsequent compression of the…

信号处理 · 电气工程与系统科学 2019-05-01 Thomas Tetzlaff

Nies and Scholz introduced the notion of a state to describe an infinite sequence of qubits and defined quantum-Martin-Lof randomness for states, analogously to the well known concept of Martin-L\"of randomness for elements of Cantor space…

信息论 · 计算机科学 2020-05-04 Tejas Bhojraj

We establish an equivalence between two important random ensembles of linear codes: random linear codes (RLCs) and random Reed-Solomon (RS) codes. Specifically, we show that these models exhibit identical behavior with respect to key…

信息论 · 计算机科学 2025-11-17 Matan Levi , Jonathan Mosheiff , Nikhil Shagrithaya

We study algorithmically random closed subsets of $2^\omega$, algorithmically random continuous functions from $2^\omega$ to $2^\omega$, and algorithmically random Borel probability measures on $2^\omega$, especially the interplay between…

逻辑 · 数学 2015-03-24 Quinn Culver , Christopher P. Porter

Learning with Noisy Labels (LNL) has attracted significant attention from the research community. Many recent LNL methods rely on the assumption that clean samples tend to have "small loss". However, this assumption always fails to…

机器学习 · 计算机科学 2022-11-17 MingCai Chen , Yu Zhao , Bing He , Zongbo Han , Bingzhe Wu , Jianhua Yao

Bell inequality violations can be used to certify private randomness for use in cryptographic applications. In photonic Bell experiments, a large amount of the data that is generated comes from no-detection events and presumably contains…

A repetition free Longest Common Subsequence (LCS) of two sequences x and y is an LCS of x and y where each symbol may appear at most once. Let R denote the length of a repetition free LCS of two sequences of n symbols each one chosen…

组合数学 · 数学 2013-05-22 Marcos Kiwi , Cristina G. Fernandes

In this article, we study the relationship between notions of depth for sequences, namely, Bennett's notions of strong and weak depth, and deep $\Pi^0_1$ classes, introduced by the authors and motivated by previous work of Levin. For the…

计算机科学中的逻辑 · 计算机科学 2024-03-08 Laurent Bienvenu , Christopher P. Porter