English
Related papers

Related papers: Learning proofs for the classification of nilpoten…

200 papers

In this paper we introduce the notion of m-irreducibility that extends the standard concept of irreducibility of a numerical semigroup when the multiplicity is fixed. We analyze the structure of the set of m-irreducible numerical…

Commutative Algebra · Mathematics 2010-06-18 V. Blanco , J. C. Rosales

Recently, Machine Learning (ML) has become a widely accepted method for significant progress that is rapidly evolving. Since it employs computational methods to teach machines and produce acceptable answers. The significance of the Machine…

Machine Learning · Computer Science 2023-08-23 Samar Wazir , Gautam Siddharth Kashyap , Parag Saxena

Deep neural networks enjoy a powerful representation and have proven effective in a number of applications. However, recent advances show that deep neural networks are vulnerable to adversarial attacks incurred by the so-called adversarial…

Machine Learning · Computer Science 2019-11-21 Lirong He , Ziyi Guo , Kaizhu Huang , Zenglin Xu

A semigroup is \emph{nilpotent} of degree 3 if it has a zero, every product of 3 elements equals the zero, and some product of 2 elements is non-zero. It is part of the folklore of semigroup theory that almost all finite semigroups are…

Combinatorics · Mathematics 2012-08-23 Andreas Distler , James D. Mitchell

We train a network to generate mappings between training sets and classification policies (a 'classifier generator') by conditioning on the entire training set via an attentional mechanism. The network is directly optimized for test set…

Machine Learning · Computer Science 2018-04-02 Nicholas Guttenberg , Ryota Kanai

We use a neural network to identify the optimal solution to a family of optimal investment problems, where the parameters determining an investor's risk and consumption preferences are given as inputs to the neural network in addition to…

Computational Finance · Quantitative Finance 2025-11-11 John Armstrong , Cristin Buescu , James Dalby , Rohan Hobbs

A learning approach for determining which operator from a class of nonlocal operators is optimal for the regularization of an inverse problem is investigated. The considered class of nonlocal operators is motivated by the use of squared…

Optimization and Control · Mathematics 2021-07-15 Gernot Holler , Karl Kunisch

This paper addresses the general problem of accurate identification of oil reservoirs. Recent improvements in well or borehole logging technology have resulted in an explosive amount of data available for processing. The traditional methods…

Machine Learning · Computer Science 2018-04-06 Yanan Li , Haixiang Guo , Andrew P Paplinski

Partial Multi-label Learning (PML) is a type of weakly supervised learning where each training instance corresponds to a set of candidate labels, among which only some are true. In this paper, we introduce \our{}, a novel probabilistic…

Machine Learning · Computer Science 2024-03-13 Łukasz Struski , Adam Pardyl , Jacek Tabor , Bartosz Zieliński

An approach to improve network interpretability is via clusterability, i.e., splitting a model into disjoint clusters that can be studied independently. We find pretrained models to be highly unclusterable and thus train models to be more…

Machine Learning · Computer Science 2025-07-29 Satvik Golechha , Dylan Cope , Nandi Schoots

Neural networks can be used to identify phases and phase transitions in condensed matter systems via supervised machine learning. Readily programmable through modern software libraries, we show that a standard feed-forward neural network…

Strongly Correlated Electrons · Physics 2017-05-24 Juan Carrasquilla , Roger G. Melko

Automated theorem proving has long been a key task of artificial intelligence. Proofs form the bedrock of rigorous scientific inquiry. Many tools for both partially and fully automating their derivations have been developed over the last…

Artificial Intelligence · Computer Science 2018-10-15 Brian Groenke

Confident prediction is highly relevant in machine learning; for example, in applications such as medical diagnoses, wrong prediction can be fatal. For classification, there already exist procedures that allow to not classify data when the…

Statistics Theory · Mathematics 2015-07-28 Christophe Denis , Mohamed Hebiri

We study the problem of estimating the number of defective items in adaptive Group testing by using a minimum number of queries. We improve the existing algorithm and prove a lower bound that show that, for constant estimation, the number…

Data Structures and Algorithms · Computer Science 2023-12-22 Nader H. Bshouty , Vivian E. Bshouty-Hurani , George Haddad , Thomas Hashem , Fadi Khoury , Omar Sharafy

Machine learning plays a role in many aspects of modern IR systems, and deep learning is applied in all of them. The fast pace of modern-day research has given rise to many approaches to many IR problems. The amount of information available…

Information Retrieval · Computer Science 2018-01-09 Tom Kenter , Alexey Borisov , Christophe Van Gysel , Mostafa Dehghani , Maarten de Rijke , Bhaskar Mitra

We propose a similarity-based method, using the similarity between nodes, to address the problem of classification in partially labeled networks. The basic assumption is that two nodes are more likely to be categorized into the same class…

Data Analysis, Statistics and Probability · Physics 2010-10-05 Qian-Ming Zhang , Ming-Sheng Shang , Linyuan Lu

The aim of the paper is to popularise nilpotent Lie groups (notably the Heisenberg group and alike) in the context of Clifford analysis and related models of mathematical physics. It is argued that these groups are underinvestigated in…

Mathematical Physics · Physics 2007-05-23 Vladimir V. Kisil

Discriminative linear models are a popular tool in machine learning. These can be generally divided into two types: The first is linear classifiers, such as support vector machines, which are well studied and provide state-of-the-art…

Machine Learning · Computer Science 2012-07-02 Koby Crammer , Amir Globerson

In human learning, an effective learning methodology is small-group learning: a small group of students work together towards the same learning objective, where they express their understanding of a topic to their peers, compare their…

Machine Learning · Computer Science 2021-03-12 Xuefeng Du , Pengtao Xie

Employing equivariance in neural networks leads to greater parameter efficiency and improved generalization performance through the encoding of domain knowledge in the architecture; however, the majority of existing approaches require an a…

Machine Learning · Computer Science 2023-05-31 Emmanouil Theodosis , Karim Helwani , Demba Ba