Cover Image

Int2Int: a framework for mathematics with transformers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Charton, François
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Mathematical Software
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning the greatest common divisor: explaining transformer predictions
by: Charton, François
Published: (2023)

$\textbf{Only-IF}$:Revealing the Decisive Effect of Instruction Diversity on Generalization
by: Zhang, Dylan, et al.
Published: (2024)

KHRONOS: a Kernel-Based Neural Architecture for Rapid, Resource-Efficient Scientific Computation
by: Batley, Reza T., et al.
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)

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

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

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

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

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

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

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

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

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

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

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

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

Emergent properties with repeated examples
by: Charton, François, et al.
Published: (2024)

NNTile: a machine learning framework capable of training extremely large GPT language models on a single node
by: Mikhalev, Aleksandr, et al.
Published: (2025)

An Open-Source Framework for Efficient Numerically-Tailored Computations
by: Ledoux, Louis, et al.
Published: (2024)

TorchDA: A Python package for performing data assimilation with deep learning forward and transformation functions
by: Cheng, Sibo, et al.
Published: (2024)

Dimensionality reduction for homological stability and global structure preservation
by: Kolpakov, Alexander, et al.
Published: (2025)

Empowering smart app development with SolidGPT: an edge-cloud hybrid AI agent framework
by: Hu, Liao, et al.
Published: (2025)

From paper to benchmark: agentic, framework-based reproduction of under-specified methods in machine health intelligence
by: Theiler, Raffael, et al.
Published: (2026)

ALL-FEM: Agentic Large Language models Fine-tuned for Finite Element Methods
by: Deotale, Rushikesh, et al.
Published: (2026)

LangProp: A code optimization framework using Large Language Models applied to driving
by: Ishida, Shu, et al.
Published: (2024)

code_transformed: The Influence of Large Language Models on Code
by: Xu, Yuliang, et al.
Published: (2025)

IntTrajSim: Trajectory Prediction for Simulating Multi-Vehicle driving at Signalized Intersections
by: Ranjan, Yash, et al.
Published: (2025)

IntLevPy: A Python library to classify and model intermittent and Lévy processes
by: Bhandari, Shailendra, et al.
Published: (2025)

evomap: A Toolbox for Dynamic Mapping in Python
by: Matthe, Maximilian
Published: (2025)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
by: Dinu, Marius-Constantin, et al.
Published: (2024)

Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers
by: Alfarano, Alberto, et al.
Published: (2024)

Reproducibility, energy efficiency and performance of pseudorandom number generators in machine learning: a comparative study of python, numpy, tensorflow, and pytorch implementations
by: Antunes, Benjamin, et al.
Published: (2024)

Instruction Diversity Drives Generalization To Unseen Tasks
by: Zhang, Dylan, et al.
Published: (2024)

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

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
by: DeepSeek-AI, et al.
Published: (2024)

LLM Benchmarking with LLaMA2: Evaluating Code Development Performance Across Multiple Programming Languages
by: Diehl, Patrick, et al.
Published: (2025)

auto-fpt: Automating Free Probability Theory Calculations for Machine Learning Theory
by: Subramonian, Arjun, et al.
Published: (2025)

MissMecha: An All-in-One Python Package for Studying Missing Data Mechanisms
by: Zhou, Youran, et al.
Published: (2025)

CausalVerse: Benchmarking Causal Representation Learning with Configurable High-Fidelity Simulations
by: Chen, Guangyi, et al.
Published: (2025)

EarlyStopping: Implicit Regularization for Iterative Learning Procedures in Python
by: Ziebell, Eric, et al.
Published: (2025)