3 citations · 5 across the 6 of their papers we have counts for
7 papers
Multi-Target Few-Shot Prompting with Diffusion Language Models
Anton Xue, Alan Li, Rahul Saha
Few-shot prompting is useful when instructions and rewards are hard to specify. One such application is editing by example, where a demonstrated formatting change or API migration…
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
Alan Li, Rahul Saha, Anton Xue +4
AI agents are increasingly used in mathematics research, but it is often unclear how to use them effectively. Towards this, we present an extensive case study of how AI was used to…
New Lower and Upper Bounds for the Grothendieck Constant
Rahul Saha, Alan Li, Anton Xue +4
We establish new bounds on the Grothendieck constant : \[ \frac{6π}{11} \le K_G \le \fracπ{2\log(1+\sqrt2)} - 10^{-4}. \] Methodologically, our lower bound approach differs fr…
The Grothendieck Constant is Less Than
Alan Li, Rahul Saha, Anton Xue +4
We prove that the Grothendieck constant . This improves on the work of Braverman, Makarychev, Makarychev, and Naor (2011), who proved…
Swarm UAVs Communication
Arindam Majee, Rahul Saha, Snehasish Roy +2
The advancement in cyber-physical systems has opened a new way in disaster management and rescue operations. The usage of UAVs is very promising in this context. UAVs, mainly quadc…
LLMSTEP: LLM proofstep suggestions in Lean
Sean Welleck, Rahul Saha
We present LLMSTEP, a tool for integrating a language model into the Lean proof assistant. LLMSTEP is a Lean 4 tactic that sends a user's proof state to a server hosting a language…
A New Approach Towards Autoformalization
Nilay Patel, Rahul Saha, Jeffrey Flanigan
Verifying mathematical proofs is difficult, but can be automated with the assistance of a computer. Autoformalization is the task of automatically translating natural language math…