S N's picture

10

S N

Refinath

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing

upvoted a paper 2 months ago

Rethinking Large Language Model Distillation: A Constrained Markov Decision Process Perspective

upvoted a paper 5 months ago

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving

View all activity

Organizations

None yet

models 0

None public yet

datasets 0

None public yet