Rushil Raghavan

collaborators

4 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.NT2026

Improved Bounds for 3-Progressions

Rushil Raghavan

We prove that if $A \subset {1, \dots, N}$ has no nontrivial three-term arithmetic progressions, then $∣ A ∣ \leq exp (- c lo g (N)^{1/6} lo g lo g (N)^{- 1}) N$ for some absolute constant $c>…

math.NT2026

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 $I^µ > 0$ , there exists a constant $C_{I^} µ$ such that $A$ can be covered by a…

math.CO2026

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)+Ï…