Harsh Gupta
hargup
ยท
AI & ML interests
None yet
Recent Activity
upvoted an article about 7 hours ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models upvoted an article 8 months ago
Creating custom kernels for the AMD MI300 liked a dataset 8 months ago
zai-org/CC-Bench-trajectories