:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Du, Wei, Kisacanin, Branislav, Armstrong, George, Toshniwal, Shubham, Moshkov, Ivan, Ayrapetyan, Alexan, Mahdavi, Sadegh, Zhao, Dan, Diao, Shizhe, Masulovic, Dragan, Stanean, Marius, Avadhanam, Advaith, Wang, Max, Dutta, Ashmit, Govil, Shitij, Yanamandara, Sri, Tandon, Mihir, Ananthakrishnan, Sriram, Rathi, Vedant, Zhang, David, Kang, Joonseok, Luo, Leon, Andreescu, Titu, Ginsburg, Boris, Gitman, Igor
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2507.09850
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data
by: Toshniwal, Shubham, et al.
Published: (2024)

Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
by: Mahdavi, Sadegh, et al.
Published: (2025)

Nemotron-Math: Efficient Long-Context Distillation of Mathematical Reasoning from Multi-Mode Supervision
by: Du, Wei, et al.
Published: (2025)

OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset
by: Toshniwal, Shubham, et al.
Published: (2024)

GenSelect: A Generative Approach to Best-of-N
by: Toshniwal, Shubham, et al.
Published: (2025)

Methods to Increase the Amount of Data for Speech Recognition for Low Resource Languages
by: Ayrapetyan, Alexan, et al.
Published: (2025)

Pre-training Graph Neural Networks with Structural Fingerprints for Materials Discovery
by: Jia, Shuyi, et al.
Published: (2025)

AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset
by: Moshkov, Ivan, et al.
Published: (2025)

zELO: ELO-inspired Training Method for Rerankers and Embedding Models
by: Pipitone, Nicholas, et al.
Published: (2025)

Learning Generative Selection for Best-of-N
by: Toshniwal, Shubham, et al.
Published: (2026)

Coalgebraic methods for Ramsey degrees of unary algebras
by: Mašulović, Dragan
Published: (2021)

Corrigendum and Addendum to "Fra\"ıssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition''
by: Mašulović, Dragan
Published: (2026)

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
by: Mašulović, Dragan
Published: (2026)

Coalgebras for categorical deep learning: Representability and universal approximation
by: Mašulović, Dragan
Published: (2026)

Ramsey degrees: big v. small
by: Mašulović, Dragan
Published: (2020)

A New Proof of the Nešetřil-Rödl Theorem
by: Masulovic, Dragan
Published: (2017)

On Ramsey degrees, compactness and approximability
by: Mašulović, Dragan
Published: (2024)

Deducibility in Sudoku
by: Mašulović, Dragan
Published: (2022)

Locality-Sensitive Hashing-Based Efficient Point Transformer for Charged Particle Reconstruction
by: Govil, Shitij, et al.
Published: (2025)

Programs Versus Finite Tree-Programs
by: Moshkov, Mikhail
Published: (2025)

Algorithmic Problems for Computation Trees
by: Moshkov, Mikhail
Published: (2025)

CONCLUZII ŞI ÎNVĂŢĂMINTE ALE RĂZBOIULUI HIBRID, CONCEPUT ŞI APLICAT DE FEDERAŢIA RUSĂ ÎN ULTIMII ANI
by: Andreescu, Anghel, et al.
Published: (2018)

On $k$-ary parts of maximal clones
by: Mašulović, Dragan, et al.
Published: (2023)

Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition
by: Mašulović, Dragan, et al.
Published: (2024)

Classes of finite relational structures over finite languages have dual Ramsey degrees
by: Džuklevski, Aleksa, et al.
Published: (2024)

Orienting Hollywood
by: Govil, Nitin
Published: (2024)

NeMo-Inspector: A Visualization Tool for LLM Generation Analysis
by: Gitman, Daria, et al.
Published: (2025)

A B-spline-Heaviside collocation method for solving Fredholm integral equations with piecewise Holder-continuous right-hand sides
by: Capcelea, Maria, et al.
Published: (2025)

The B-spline-Heaviside collocation method for solving Cauchy singular integral equations with piecewise Holder continuous coefficients
by: Capcelea, Maria, et al.
Published: (2025)

Partial Unilateral Lentiginosis With Concurrent Ocular and Oral Involvement: A Rare Case Report
by: Alok Jindal, et al.
Published: (2025)

I2I-STRADA -- Information to Insights via Structured Reasoning Agent for Data Analysis
by: Sundar, SaiBarath, et al.
Published: (2025)

Greedy Algorithm for Inference of Decision Trees from Decision Rule Systems
by: Durdymyradov, Kerven, et al.
Published: (2024)

Lower Bounds on Cardinality of Reducts for Decision Tables from Closed Classes
by: Ostonov, Azimkhon, et al.
Published: (2024)

Deterministic and Strongly Nondeterministic Decision Trees for Decision Tables from Closed Classes
by: Ostonov, Azimkhon, et al.
Published: (2023)

Component parts of the World Heat Flow Data Collection
by: Demetrescu, Crisan, et al.
Published: (1981)

Lung Ultrasound—A Supplementary Tool for the Diagnosis of Pulmonary Tuberculosis in Children
by: Vinita Rathi, et al.
Published: (2025)

Fundamentos de administración financiera / Lawrence J. Gitman ; traducción, Mei Mei Alicia Chu Pulido
by: Gitman, Lawrence J
Published: (1986)

Principios de administración financiera / Lawrence J. Gitman
by: Gitman, Lawrence J
Published: (2007)

Reducible Gauge Theories in Local Superfield Lagrangian BRST Quantization
by: D. M. Gitman
Published: (2007)

Editorial: Getting to the Heart of the Matter in IBD
by: Ashwin N. Ananthakrishnan
Published: (2025)