Cover Image

Unsupervised Discovery of Formulas for Mathematical Constants

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shalyt, Michael, Seligmann, Uri, Halachmi, Itay Beit, David, Ofir, Elimelech, Rotem, Kaminer, Ido
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning Number Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations
by: Beit-Halachmi, Itay, et al.
Published: (2024)

From Euler to AI: Unifying Formulas for Mathematical Constants
by: Raz, Tomer, et al.
Published: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
by: Shalyt, Michael, et al.
Published: (2025)

Algorithm-assisted discovery of an intrinsic order among mathematical constants
by: Elimelech, Rotem, et al.
Published: (2023)

Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences
by: Razon, Ofir, et al.
Published: (2022)

On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic
by: Weinbaum, Shachar, et al.
Published: (2025)

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
by: Feng, Tony, et al.
Published: (2026)

No Prior, No Leakage: Revisiting Reconstruction Attacks in Trained Neural Networks
by: Refael, Yehonatan, et al.
Published: (2025)

The Median is Easier than it Looks: Approximation with a Constant-Depth, Linear-Width ReLU Network
by: Dutta, Abhigyan, et al.
Published: (2026)

Machine Learning of the Prime Distribution
by: Kolpakov, Alexander, et al.
Published: (2024)

On the Connection Between Irrationality Measures and Polynomial Continued Fractions
by: David, Nadav Ben, et al.
Published: (2021)

Mathematical Data Science
by: Douglas, Michael R., et al.
Published: (2025)

Knowledge Discovery using Unsupervised Cognition
by: Ibias, Alfredo, et al.
Published: (2024)

Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning
by: Wu, Yuxuan, et al.
Published: (2025)

Unsupervised Ensemble Learning Through Deep Energy-based Models
by: Maymon, Ariel, et al.
Published: (2026)

A Graph Meta-Network for Learning on Kolmogorov-Arnold Networks
by: Bar-Shalom, Guy, et al.
Published: (2026)

A Score-Based Density Formula, with Applications in Diffusion Generative Models
by: Li, Gen, et al.
Published: (2024)

Identifying Selections for Unsupervised Subtask Discovery
by: Qiu, Yiwen, et al.
Published: (2024)

Solving a Research Problem in Mathematical Statistics with AI Assistance
by: Dobriban, Edgar
Published: (2025)

Discovering Mathematical Formulas from Data via GPT-guided Monte Carlo Tree Search
by: Li, Yanjie, et al.
Published: (2024)

Gradient Free Deep Reinforcement Learning With TabPFN
by: Schiff, David, et al.
Published: (2025)

SUSD: Structured Unsupervised Skill Discovery through State Factorization
by: Hosseini, Seyed Mohammad Hadi, et al.
Published: (2026)

Time Matters: Scaling Laws for Any Budget
by: Inbar, Itay, et al.
Published: (2024)

Studying number theory with deep learning: a case study with the Möbius and squarefree indicator functions
by: Lowry-Duda, David
Published: (2025)

Regret Minimization and Convergence to Equilibria in General-sum Markov Games
by: Erez, Liad, et al.
Published: (2022)

Uncovering a Winning Lottery Ticket with Continuously Relaxed Bernoulli Gates
by: Tsayag, Itamar, et al.
Published: (2026)

Hybrid Autoencoders for Tabular Data: Leveraging Model-Based Augmentation in Low-Label Settings
by: Naor, Erel, et al.
Published: (2025)

Unsupervised Skill Discovery as Exploration for Learning Agile Locomotion
by: Rho, Seungeun, et al.
Published: (2025)

Detection of Correlated Random Vectors
by: Elimelech, Dor, et al.
Published: (2024)

Diffusion-Driven Inertial Generated Data for Smartphone Location Classification
by: Cohen, Noa, et al.
Published: (2025)

Turning Sand to Gold: Recycling Data to Bridge On-Policy and Off-Policy Learning via Causal Bound
by: Fiskus, Tal, et al.
Published: (2025)

Unsupervised Skill Discovery for Robotic Manipulation through Automatic Task Generation
by: Jansonnie, Paul, et al.
Published: (2024)

ComSD: Balancing Behavioral Quality and Diversity in Unsupervised Skill Discovery
by: Liu, Xin, et al.
Published: (2023)

From Leiden to Pleasure Island: The Constant Potts Model for Community Detection as a Hedonic Game
by: Felipe, Lucas Lopes, et al.
Published: (2025)

Evaluating LLMs When They Do Not Know the Answer: Statistical Evaluation of Mathematical Reasoning via Comparative Signals
by: Dong, Zihan, et al.
Published: (2026)

On the Rate of Convergence of GD in Non-linear Neural Networks: An Adversarial Robustness Perspective
by: Smorodinsky, Guy, et al.
Published: (2026)

Machine Learnability as a Measure of Order in Aperiodic Sequences
by: Dodgson, Jennifer, et al.
Published: (2025)

Learning Euler Factors of Elliptic Curves
by: Babei, Angelica, et al.
Published: (2025)

Murmurations, Mestre--Nagao sums, and Convolutional Neural Networks for elliptic curves
by: Bieri, Joanna, et al.
Published: (2026)

Artificial Intelligence in Number Theory: LLMs for Algorithm Generation and Ensemble Methods for Conjecture Verification
by: Saraeb, Ali
Published: (2025)