Rahul Chalamala

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Language Modelling

Theorem Proving

Pseudo Feedback

Top Venues

Publications

Kezhen Chen, Rahul Thapa, Rahul Chalamala, Ben Athiwaratkun, Shuaiwen Leon Song, James Zou
Dragonfly: Multi-Resolution Zoom Supercharges Large Visual-Language Model. CoRR (2024)
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. NeurIPS (2023)
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. CoRR (2023)