AI for Mathematics (AI4Math) is not only intriguing intellectually but also crucial for AI-driven
discovery in science, engineering, and beyond. Extensive efforts on AI4Math have mirrored …

The suite of datasets commonly used to train and evaluate the mathematical capabilities of
AI-based mathematical copilots (primarily large language models) exhibit several …

Recently, test-time scaling has garnered significant attention from the research community,
largely due to the substantial advancements of the o1 model released by OpenAI. By …

Reasoning language models (RLMs), also known as Large Reasoning Models (LRMs),
such as OpenAI's o1 and o3, DeepSeek-V3, and Alibaba's QwQ, have redefined AI's …

Recent progress in large language models (LLM) found chain-of-thought prompting
strategies to improve the reasoning ability of LLMs by encouraging problem solving through …

While recent AI-for-math has made strides in pure mathematics, areas of applied
mathematics, particularly PDEs, remain underexplored despite their significant real-world …

This paper presents a comprehensive survey on the applications of artificial intelligence (AI)
in mathematical research, highlighting the transformative role AI has begun to play in this …

We present a method of generating first-order logic statements whose complexity can be
controlled along multiple dimensions. We use this method to automatically create several …

The pervasiveness of proprietary language models has raised critical privacy concerns,
necessitating advancements in private inference (PI), where computations are performed …

The pervasiveness of proprietary language models has raised privacy concerns for users'
sensitive data, emphasizing the need for private inference (PI), where inference is performed …