AG

Aman Goel

0000-0003-0520-8890

cs.LGcs.AIcs.CLcs.LOcs.CRcs.DCcs.FLeess.SPhep-exphysics.soc-ph

On Valency

published · living versions

W_etmeccs6·v1 · currentpublished

Scaling Lean Theorem Proving for Real-World Code Verification

with Debargha Ganguly, Divya Raghunathan, Dejan Jovanović, Vikash Singh +4

1 version

Preprints & journals

7 papers in the corpus · 2021–2026

Conformal Risk Control for Multiuser Beamforming2610.04576v1 · Aman Goel, Sundeep Prabhakar Chepuri2026 · 0 citationsarXiv

Instruct, Not Answer: Using Instruction Privileges in On-Policy Context Distillation2609.32201v2 · Hantao Yu, Xiaoxue Han, Udaya Ghai et al.2026 · 0 citationsarXiv

Beyond Solver Verdicts: Generative Reward Models for Autoformalization2609.11085v2 · Vikash Singh, Debargha Ganguly, Aman Goel et al.2026 · 0 citationsarXiv

A Neurosymbolic Approach to Natural Language Formalization and Verification2511.09008v2 · Chenyang An, Sam Bayless, Stefano Buliani et al.2025 · 1 citationarXiv

TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice2502.18504v2 · Aman Goel, Xian Carrie Wu, Zhe Wang et al.2025 · 0 citationsarXiv

Towards an Automatic Proof of Lamport's Paxos2108.08796v1 · Aman Goel, Karem A. Sakallah2021 · 15 citationsarXiv

Learning from the Pandemic: the Future of Meetings in HEP and Beyond2106.15783v1 · Mark S. Neubauer, Todd Adams, Jennifer Adelman-McCarthy et al.2021 · 0 citationsarXiv

Career total: 31 works. 7 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.