Qi Liu

purewhite42's activity

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

upvoted 2 papers 4 days ago

Qwen3 Technical Report

Paper • 2505.09388 • Published 10 days ago • 147

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

Paper • 2505.09343 • Published 10 days ago • 58

updated 6 models 4 days ago

purewhite42/rautoformalizer_gtra_deepseek

Text Generation • Updated 4 days ago • 72

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated 4 days ago • 13

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated 4 days ago • 142

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated 4 days ago • 25

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated 4 days ago • 24

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated 4 days ago • 25

liked a dataset 16 days ago

PAug/ProofNetSharp

Viewer • Updated Mar 24 • 371 • 114 • 3

authored a paper 16 days ago

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

Paper • 2505.04528 • Published 17 days ago • 11

upvoted a paper 16 days ago

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

Paper • 2505.04528 • Published 17 days ago • 11

updated a collection 16 days ago

Formal Problem-Solving

Collection

This collection is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. • 5 items • Updated 16 days ago • 3

liked a dataset 16 days ago

purewhite42/formal_problem_solving_main

Viewer • Updated 16 days ago • 1.09k • 84 • 1

updated a dataset 16 days ago

purewhite42/formal_problem_solving_main

Viewer • Updated 16 days ago • 1.09k • 84 • 1

published a dataset 17 days ago

purewhite42/formal_problem_solving_main

Viewer • Updated 16 days ago • 1.09k • 84 • 1

updated a collection 17 days ago

Formal Problem-Solving

Collection

This collection is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. • 5 items • Updated 16 days ago • 3

updated 3 datasets 17 days ago

purewhite42/formal_math500

Viewer • Updated 17 days ago • 387 • 80

purewhite42/putnambench_solving

Viewer • Updated 17 days ago • 324 • 98

purewhite42/minif2f_solving

Viewer • Updated 17 days ago • 375 • 96

upvoted a collection 17 days ago

Formal Problem-Solving

Collection

This collection is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. • 5 items • Updated 16 days ago • 3