Xu Kangping's picture

1 2 5

Xu Kangping

xukp20

·

xukp20

AI & ML interests

None yet

Recent Activity

upvoted an article about 1 month ago

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

liked a dataset about 1 month ago

Goedel-LM/Lean-workbook-proofs

liked a dataset about 1 month ago

m-a-p/FineLeanCorpus

View all activity

Organizations

upvoted an article about 1 month ago

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

By

and 17 others •

Jul 10

• 48

upvoted a paper 6 months ago

MLGym: A New Framework and Benchmark for Advancing AI Research Agents

Paper • 2502.14499 • Published Feb 20 • 193