Varun
vshanker
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 1 month ago
Aristotle: IMO-level Automated Theorem Proving
updated
a model
over 1 year ago
vshanker/llama3-8Bminus6-orpo1k
updated
a model
over 1 year ago
vshanker/llama3-8B-orpo1k
Organizations
None yet