3 citations · 5 across the 6 of their papers we have counts for
Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
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…
cs.CL2023
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…