Rahul Chalamala

Rahul Chalamala on Hugging Face Daily Papers: 2 papers, 2 in the top 3 of their day, 78 upvotes.

1. RedPajama: an Open Dataset for Training Large Language Models 47 upvotes, #1 of 2024-11-20
2. LeanDojo: Theorem Proving with Retrieval-Augmented Language Models 18 upvotes, #2 of 2023-06-28

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.