English
Related papers

Related papers: Mathematical conjecture generation using machine i…

200 papers

This paper provides a functional analytic approach to differential equations on Banach space with slowly evolving parameters. We develop a Fenichel-like theory for attracting subsets of critical manifolds via a Lyapunov-Perron method. This…

Dynamical Systems · Mathematics 2025-10-06 Dirk Doorakkers , Daniele Avitabile , Jan Bouwe van den Berg

Manifold hypothesis states that data points in high-dimensional space actually lie in close vicinity of a manifold of much lower dimension. In many cases this hypothesis was empirically verified and used to enhance unsupervised and…

Given data, deep generative models, such as variational autoencoders (VAE) and generative adversarial networks (GAN), train a lower dimensional latent representation of the data space. The linear Euclidean geometry of data space pulls back…

Computer Vision and Pattern Recognition · Computer Science 2018-05-22 Line Kuhnel , Tom Fletcher , Sarang Joshi , Stefan Sommer

Recently, combinations of generative and Bayesian machine learning have been introduced in particle physics for both fast detector simulation and inference tasks. These neural networks aim to quantify the uncertainty on the generated…

Machine Learning · Computer Science 2024-11-21 Sebastian Bieringer , Sascha Diefenbacher , Gregor Kasieczka , Mathias Trabs

In this chapter, we study Information Geometry from a particular non-parametric or functional point of view. The basic model is a probabilities subset usually specified by regularity conditions. For example, probability measures mutually…

Statistics Theory · Mathematics 2024-05-14 Goffredo Chirco , Giovanni Pistone

Many generative models attempt to replicate the density of their input data. However, this approach is often undesirable, since data density is highly affected by sampling biases, noise, and artifacts. We propose a method called SUGAR…

Machine Learning · Computer Science 2018-09-10 Ofir Lindenbaum , Jay S. Stanley , Guy Wolf , Smita Krishnaswamy

Recently, studies on machine learning have focused on methods that use symmetry implicit in a specific manifold as an inductive bias. Grassmann manifolds provide the ability to handle fundamental shapes represented as shape spaces, enabling…

Machine Learning · Computer Science 2023-12-06 Ryoma Yataka , Kazuki Hirashima , Masashi Shiraishi

\emph{TxGraffiti} is a data-driven, heuristic-based computer program developed to automate the process of generating conjectures across various mathematical domains. Since its creation in 2017, \emph{TxGraffiti} has contributed to numerous…

Combinatorics · Mathematics 2026-05-12 Randy Davila

Machine learning typically presupposes classical probability theory which implies that aggregation is built upon expectation. There are now multiple reasons to motivate looking at richer alternatives to classical probability theory as a…

Machine Learning · Computer Science 2024-01-30 Christian Fröhlich , Robert C. Williamson

Latent space geometry provides a rigorous and empirically valuable framework for interacting with the latent variables of deep generative models. This approach reinterprets Euclidean latent spaces as Riemannian through a pull-back metric,…

Machine Learning · Statistics 2024-08-15 Stas Syrota , Pablo Moreno-Muñoz , Søren Hauberg

The shape of an object is an important characteristic for many vision problems such as segmentation, detection and tracking. Being independent of appearance, it is possible to generalize to a large range of objects from only small amounts…

Machine Learning · Statistics 2018-12-14 Alessandro Di Martino , Erik Bodin , Carl Henrik Ek , Neill D. F. Campbell

The coarse geometric Novikov conjecture provides an algorithm to determine when the higher index of an elliptic operator on a noncompact space is nonzero. The purpose of this paper is to prove the coarse geometric Novikov conjecture for…

Operator Algebras · Mathematics 2007-05-23 Gennadi Kasparov , Guoliang Yu

Modern machine learning increasingly leverages the insight that high-dimensional data often lie near low-dimensional, non-linear manifolds, an idea known as the manifold hypothesis. By explicitly modeling the geometric structure of data…

Machine Learning · Computer Science 2026-03-02 Willem Diepeveen , Deanna Needell

This paper explores the interplay between statistics and generative artificial intelligence. Generative statistics, an integral part of the latter, aims to construct models that can generate efficiently and meaningfully new data across the…

Methodology · Statistics 2025-02-25 Bing Cheng , Howell Tong

The Bayesian approach to solving inverse problems relies on the choice of a prior. This critical ingredient allows the formulation of expert knowledge or physical constraints in a probabilistic fashion and plays an important role for the…

Machine Learning · Statistics 2022-11-08 Manuel Marschall , Gerd Wübbeler , Franko Schmähling , Clemens Elster

Computation fundamentally separates time from space: nondeterministic search is exponential in time but polynomially simulable in space (Savitch's Theorem). We propose that the brain physically instantiates a biological variant of this…

Neurons and Cognition · Quantitative Biology 2025-12-02 Xin Li

We report the emergence of a striking new phenomenon in arithmetic, which we call murmurations. First observed experimentally through averages over large arithmetic datasets, murmurations can be detected and analyzed using standard…

Number Theory · Mathematics 2026-03-11 Yang-Hui He , Kyu-Hwan Lee , Thomas Oliver , Alexey Pozdnyakov

Graph diffusion models have made significant progress in learning structured graph data and have demonstrated strong potential for predictive tasks. Existing approaches typically embed node, edge, and graph-level features into a unified…

Machine Learning · Computer Science 2025-12-12 Yisen Gao , Xingcheng Fu , Qingyun Sun , Jianxin Li , Xianxian Li

We propose the use of a conjecturing machine that suggests feature relationships in the form of bounds involving nonlinear terms for numerical features and boolean expressions for categorical features. The proposed Conjecturing framework…

Machine Learning · Computer Science 2023-07-18 J. P. Brooks , D. J. Edwards , C. E. Larson , N. Van Cleemput

How can we extract theoretical insights from machine learning algorithms? We take a familiar lesson: researchers often turn their intuitions into theoretical insights by constructing "anomalies" -- specific examples highlighting…

Econometrics · Economics 2025-09-18 Sendhil Mullainathan , Ashesh Rambachan