Evangeline Shen PRO
Evangelinejy
AI & ML interests
None yet
Recent Activity
upvoted a paper about 16 hours ago
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification updated a dataset 2 days ago
Pre-to-Post-2/lichess_pretrain_elo_cutoff updated a dataset 3 days ago
RL-Forgetting-Exp-2/qwen3b_kk_sft_data_drop_saturated