Qi Liu

purewhite42's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a model 24 days ago

AI-MO/Kimina-Prover-Distill-8B

Text Generation • 8B • Updated Jul 10 • 1.28k • • 9

upvoted an article 28 days ago

view article

Article

Kimina-Prover-RL

By and 18 others •

29 days ago

• 11

liked a model 28 days ago

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9 • 7.99k • 15

liked 2 models 29 days ago

AI-MO/Kimina-Prover-RL-1.7B

2B • Updated 30 days ago • 68 • 7

AI-MO/Kimina-Prover-RL-0.6B

0.8B • Updated 30 days ago • 778 • 4

liked a model 30 days ago

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 120 • • 29

liked a dataset 30 days ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 990 • 40

liked a dataset 3 months ago

Jiahao004/DeepTheorem

Viewer • Updated Jul 3 • 121k • 488 • 24

upvoted 4 papers 3 months ago

Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain Perspective

Paper • 2506.14965 • Published Jun 17 • 48

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8 • 5

Institutional Books 1.0: A 242B token dataset from Harvard Library's collections, refined for accuracy and usability

Paper • 2506.08300 • Published Jun 10 • 8

Give Me FP32 or Give Me Death? Challenges and Solutions for Reproducible Reasoning

Paper • 2506.09501 • Published Jun 11 • 17

upvoted 2 papers 4 months ago

Qwen3 Technical Report

Paper • 2505.09388 • Published May 14 • 289

Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures

Paper • 2505.09343 • Published May 14 • 69

updated 6 models 4 months ago

purewhite42/rautoformalizer_gtra_deepseek

Text Generation • Updated May 20 • 12

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated May 20 • 11

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated May 20 • 13

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated May 20 • 12

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated May 20 • 10

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated May 20 • 11