Cover Image

The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Beit-Halachmi, Itay, Kaminer, Ido
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Mathematical Software Number Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Unsupervised Discovery of Formulas for Mathematical Constants
by: Shalyt, Michael, et al.
Published: (2024)

An Effective Method for Solving a Class of Transcendental Diophantine Equations
by: Cai, Zeyu
Published: (2025)

Automated Tensor-Relational Decomposition for Large-Scale Sparse Tensor Computation
by: Tang, Yuxin, et al.
Published: (2026)

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture
by: Brilliantov, Kirill, et al.
Published: (2026)

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

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

Adaptation of XAI to Auto-tuning for Numerical Libraries
by: Aoki, Shota, et al.
Published: (2024)

GoldbachGPU: An Open Source GPU-Accelerated Framework for Verification of Goldbach's Conjecture
by: Llorente-Saguer, Isaac
Published: (2026)

MiniTensor: A Lightweight, High-Performance Tensor Operations Library
by: Sarkar, Soumyadip
Published: (2026)

PALMA: A Lightweight Tropical Algebra Library for ARM-Based Embedded Systems
by: N'guessan, Gnankan Landry Regis
Published: (2026)

Agentic Scientific Simulation: Execution-Grounded Model Construction and Reconstruction
by: Lie, Knut-Andreas, et al.
Published: (2026)

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

Explicit Euclidean division algorithms for some degree 8 number rings
by: Levrat, Christophe
Published: (2026)

Automated Discovery of Improved Constant Weight Binary Codes
by: Rosin, Christopher D.
Published: (2026)

Proceedings 14th International Conference on Automated Deduction in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Testing Transformer Learnability on the Arithmetic Sequence of Rooted Trees
by: Breccia, Alessandro, et al.
Published: (2025)

Scorch: A Library for Sparse Deep Learning
by: Yan, Bobby, et al.
Published: (2024)

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

A Lie Group Approach to Riemannian Batch Normalization
by: Chen, Ziheng, et al.
Published: (2024)

KHRONOS: a Kernel-Based Neural Architecture for Rapid, Resource-Efficient Scientific Computation
by: Batley, Reza T., et al.
Published: (2025)

Int2Int: a framework for mathematics with transformers
by: Charton, François
Published: (2025)

Implementation of tangent linear and adjoint models for neural networks based on a compiler library tool
by: Xiao, Sa, et al.
Published: (2026)

Conversion of Boolean and Integer FlatZinc Builtins to Quadratic or Linear Integer Problems
by: Wolf, Armin
Published: (2024)

Skill Discovery for Software Scripting Automation via Offline Simulations with LLMs
by: Xu, Paiheng, et al.
Published: (2025)

Introduction to Analytical Software Engineering Design Paradigm
by: Houichime, Tarik, et al.
Published: (2025)

TopoX: A Suite of Python Packages for Machine Learning on Topological Domains
by: Hajij, Mustafa, et al.
Published: (2024)

cuRegOT: A GPU-Accelerated Solver for Entropic-Regularized Optimal Transport
by: Qiu, Yixuan
Published: (2026)

Virtual Parameter Sharpening: Dynamic Low-Rank Perturbations for Inference-Time Reasoning Enhancement
by: Kublashvili, Saba
Published: (2025)

AutoVerus: Automated Proof Generation for Rust Code
by: Yang, Chenyuan, et al.
Published: (2024)

Unified Approach to Major Conjectures and Fundamental Problems in Number Theory: Goldbach, Rarity, and Distribution of Prime Numbers
by: Doumbia, Amara
Published: (2025)

Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
by: Fang, Ying, et al.
Published: (2024)

UGrid: An Efficient-And-Rigorous Neural Multigrid Solver for Linear PDEs
by: Han, Xi, et al.
Published: (2024)

ATOMMIC: An Advanced Toolbox for Multitask Medical Imaging Consistency to facilitate Artificial Intelligence applications from acquisition to analysis in Magnetic Resonance Imaging
by: Karkalousos, Dimitrios, et al.
Published: (2024)

Learning optimal objective values for MILP
by: Scavuzzo, Lara, et al.
Published: (2024)

On Stochastic Rounding with Few Random Bits
by: Fitzgibbon, Andrew, et al.
Published: (2025)

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

QLPro: Automated Code Vulnerability Discovery via LLM and Static Code Analysis Integration
by: Hu, Junze, et al.
Published: (2025)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
by: Dai, Steve, et al.
Published: (2025)

SEvoBench : A C++ Framework For Evolutionary Single-Objective Optimization Benchmarking
by: Yang, Yongkang, et al.
Published: (2025)

McMining: Automated Discovery of Misconceptions in Student Code
by: Al-Hossami, Erfan, et al.
Published: (2025)