English
Related papers

Related papers: Recognising the small Ree groups in their natural …

200 papers

We propose a new algorithm for training generative adversarial networks that jointly learns latent codes for both identities (e.g. individual humans) and observations (e.g. specific photographs). By fixing the identity portion of the latent…

Machine Learning · Computer Science 2018-02-26 Chris Donahue , Zachary C. Lipton , Akshay Balsubramani , Julian McAuley

Models can be built directly from input and output data trough a process known as system identification. The Nonlinear AutoRegressive with eXogenous inputs (NARMAX) models are among the most used mathematical representations in the area and…

Systems and Control · Electrical Eng. & Systems 2022-11-11 Henrique Carvalho de Castro , Bruno Henrique Groenner Barbosa

We present a quantum algorithm which identifies with certainty a hidden subgroup of an arbitrary finite group G in only a polynomial (in log |G|) number of calls to the oracle. This is exponentially better than the best classical algorithm.…

Quantum Physics · Physics 2016-12-30 Mark Ettinger , Peter Hoyer , Emanuel Knill

We introduce a new model of membership query (MQ) learning, where the learning algorithm is restricted to query points that are \emph{close} to random examples drawn from the underlying distribution. The learning model is intermediate…

Machine Learning · Computer Science 2013-04-19 Pranjal Awasthi , Vitaly Feldman , Varun Kanade

A characteristic sample for a language $L$ and a learning algorithm $\textbf{L}$ is a finite sample of words $T_L$ labeled by their membership in $L$ such that for any sample $T \supseteq T_L$ consistent with $L$, on input $T$ the learning…

Formal Languages and Automata Theory · Computer Science 2024-11-13 Dana Angluin , Dana Fisman

Neural networks excel at pattern recognition but struggle with reliable logical reasoning, often violating basic logical principles during inference. We address this limitation by developing a categorical framework that systematically…

Logic in Computer Science · Computer Science 2025-08-19 Logan Nye

Any solid object can be decomposed into a collection of convex polytopes (in short, convexes). When a small number of convexes are used, such a decomposition can be thought of as a piece-wise approximation of the geometry. This…

Computer Vision and Pattern Recognition · Computer Science 2020-04-14 Boyang Deng , Kyle Genova , Soroosh Yazdani , Sofien Bouaziz , Geoffrey Hinton , Andrea Tagliasacchi

For a prime $p$, we describe a protocol for handling a specific type of fusion system on a $p$-group by computer. These fusion systems contain all saturated fusion systems. This framework allows us to computationally determine whether or…

Group Theory · Mathematics 2021-01-20 Chris Parker , Jason Semeraro

We present a simple yet effective method for structure prediction of two-dimensional structures. The method is based on a combination of neural networks and evolutionary techniques. It allows finding pristine 2D structures as well as…

Materials Science · Physics 2020-05-15 K. Zberecki

The reservoir computing networks (RCNs) have been successfully employed as a tool in learning and complex decision-making tasks. Despite their efficiency and low training cost, practical applications of RCNs rely heavily on empirical…

Machine Learning · Computer Science 2021-12-14 Wei Miao , Vignesh Narayanan , Jr-Shin Li

The $3$-admissibility of a graph is a promising measure to identify real-world networks that have an algorithmically favourable structure. We design an algorithm that decides whether the $3$-admissibility of an input graph~$G$ is at…

Data Structures and Algorithms · Computer Science 2025-12-02 Christine Awofeso , Patrick Greaves , Oded Lachish , Felix Reidl

In order to develop systems capable of modeling artificial life, we need to identify, which systems can produce complex behavior. We present a novel classification method applicable to any class of deterministic discrete space and time…

Cellular Automata and Lattice Gases · Physics 2020-09-01 Barbora Hudcova , Tomas Mikolov

Adaptive retrieval-augmented generation (ARAG) aims to dynamically determine the necessity of retrieval for queries instead of retrieving indiscriminately to enhance the efficiency and relevance of the sourced information. However, previous…

Computation and Language · Computer Science 2024-06-06 Zihan Zhang , Meng Fang , Ling Chen

One of the great triumphs in the history of numerical methods was the discovery of the Conjugate Gradient (CG) algorithm. It could solve a symmetric positive-definite system of linear equations of dimension N in exactly N steps. As many…

Data Structures and Algorithms · Computer Science 2016-09-01 Muhammad Ali Raza Anjum

We describe a method to parse a complex, cluttered indoor scene into primitives which offer a parsimonious abstraction of scene structure. Our primitives are simple convexes. Our method uses a learned regression procedure to parse a scene…

Computer Vision and Pattern Recognition · Computer Science 2023-08-17 Vaibhav Vavilala , David Forsyth

Coherent uncertainty quantification is a key strength of Bayesian methods. But modern algorithms for approximate Bayesian posterior inference often sacrifice accurate posterior uncertainty estimation in the pursuit of scalability. This work…

Machine Learning · Statistics 2018-05-30 Trevor Campbell , Tamara Broderick

In recent years, several algorithms, which approximate matrix decomposition, have been developed. These algorithms are based on metric conservation features for linear spaces of random projection types. We show that an i.i.d sub-Gaussian…

Numerical Analysis · Mathematics 2016-02-11 Yariv Aizenbud , Amir Averbuch

Retrieval-Augmented Generation (RAG) is a state-of-the-art technique that mitigates issues such as hallucinations and knowledge staleness in Large Language Models (LLMs) by retrieving relevant knowledge from an external database to assist…

Cryptography and Security · Computer Science 2024-09-27 Yuying Li , Gaoyang Liu , Chen Wang , Yang Yang

In general dimension, there is no known total polynomial algorithm for either convex hull or vertex enumeration, i.e. an algorithm whose complexity depends polynomially on the input and output sizes. It is thus important to identify…

Computational Geometry · Computer Science 2021-04-26 Ioannis Z. Emiris , Vissarion Fisikopoulos , Bernd Gärtner

We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable…

Rings and Algebras · Mathematics 2022-08-19 Peter A. Brooksbank , Joshua Maglione , James B. Wilson