Rohan Pandey
rawll
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper 18 days ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper 19 days ago
Learning to Repair Lean Proofs from Compiler Feedback liked
a model over 1 year ago
rawll/Very-fine-tuned-TinyLlama-Model Organizations
