Rushil Raghavan

collaborators

3 papers

cs.CL2026

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

Eric Jiang, Xiao Liang, Yikai Zhang +16

Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for we…

math.NT2025

Improved Bounds for the Freiman-Ruzsa Theorem

Rushil Raghavan

Let $A$ be a finite subset of an abelian group $G$ , and suppose that $∣ A + A ∣ \leq K ∣ A ∣$ . We show that for any $ε > 0$ , there exists a constant $C_{ε}$ such that $A$ can be covered by at…

math.CO2025

Sharp Bounds for Sets with Distinct Subset Products

Rushil Raghavan

Let $A \subseteq [N]$ be such that for any pair of distinct subsets $B, C \subset A$ , the products $\prod_{b \in B} b$ and $\prod_{c \in C} c$ are distinct. We prove that $|A|\leq π(N)+π(…