S N
Refinath
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
14 days ago
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
upvoted
an
article
5 months ago
Deepseek R1 Robotic Reasoning with Checkers
upvoted
a
paper
5 months ago
Almost Surely Safe Alignment of Large Language Models at Inference-Time
Organizations
None yet