arxiv:2604.18574
Salman Rahman PRO
salmannyu
AI & ML interests
Natural Language Processing, Deep Learning, Scalable Oversight, and Language Model Evaluation
Recent Activity
published a model 2 days ago
salmannyu/salman-ps-dbt-qwn updated a model 2 days ago
salmannyu/salman-ps-dbt-qwn upvoted a paper 28 days ago
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof VerificationOrganizations
models 28
salmannyu/salman-ps-dbt-qwn
Updated
salmannyu/first-mistake-rl-results
Updated
salmannyu/model-checkpoints
Updated
salmannyu/llama_base_thinking_sft_noisy_reward_0_9
Updated
salmannyu/llama_base_thinking_sft_majority_vote_math_1024_sample_8k
Updated
salmannyu/mid_train_llama_52b_thinking_data_effect_math_8_sample
Updated
salmannyu/mid_train_llama_52b_thinking_noisy_reward_math_0.7_sample
Updated
salmannyu/mid_train_llama_52b_thinking_noisy_reward_math_0.9_sample
Updated
salmannyu/mid_train_llama_52b_thinking_majority_vote_math_1024_sample
Updated
salmannyu/mid_train_llama_52b_thinking_data_effect_math_2048_sample
Updated
datasets 0
None public yet