M Saad Salman's picture

M Saad Salman

MSS444

·

MSS444

AI & ML interests

None yet

Recent Activity

upvoted a paper about 8 hours ago

FastContext: Training Efficient Repository Explorer for Coding Agents

upvoted a paper 1 day ago

Distilling LLM Feedback for Lean Theorem Proving

upvoted a paper 1 day ago

Breaking Entropy Bounds: Accelerating RL Training via MTP with Rejection Sampling

View all activity

Organizations

None yet

models 0

None public yet

datasets 0

None public yet