ustccyf's picture

2 14

ustccyf

ustccyf

·

AI & ML interests

None yet

Recent Activity

liked a dataset 15 days ago

nvidia/OpenMathReasoning

liked a dataset 2 months ago

SynthLabsAI/Big-Math-RL-Verified

upvoted a paper 4 months ago

Better Synthetic Data by Retrieving and Transforming Existing Datasets

View all activity

Organizations

None yet

ustccyf's activity

upvoted 2 papers 4 months ago

Better Synthetic Data by Retrieving and Transforming Existing Datasets

Paper • 2404.14361 • Published Apr 22, 2024 • 2

HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Paper • 2412.20735 • Published Dec 30, 2024 • 11