arxiv:2604.18574
Salman Rahman PRO
salmannyu
AI & ML interests
Natural Language Processing, Deep Learning, Scalable Oversight, and Language Model Evaluation
Recent Activity
upvoted a paper 10 days ago
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification submitted a paper 10 days ago
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification upvoted a paper 3 months ago
Understanding Reasoning from Pretraining to Post-TrainingOrganizations
