Evangeline Shen PRO
Evangelinejy
AI & ML interests
None yet
Recent Activity
updated a dataset about 8 hours ago
Pre-to-Post-2/680M_alpha1.0_SFT_datasets published a dataset about 8 hours ago
Pre-to-Post-2/680M_alpha1.0_SFT_datasets upvoted a paper 3 days ago
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification