Linzheng Chai

Challenging666's activity

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

upvoted a paper 8 days ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published 8 days ago • 103

liked a dataset 22 days ago

sigcp/hardtests_problems

Viewer • Updated Jun 7 • 47.1k • 294 • 9

New activity in Multilingual-Multimodal-NLP/MM-Coder-7B 23 days ago

how to use?

2

#1 opened 23 days ago by

DTL

updated a model 23 days ago

Multilingual-Multimodal-NLP/MM-Coder-7B

Image-Text-to-Text • 8B • Updated 23 days ago • 16 • 1

New activity in Multilingual-Multimodal-NLP/MMc-Instruct 24 days ago

Why it is empty?

1

#1 opened 24 days ago by

duang

upvoted a paper 30 days ago

First Return, Entropy-Eliciting Explore

Paper • 2507.07017 • Published about 1 month ago • 23

upvoted 3 papers about 1 month ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8 • 40

A Survey on Latent Reasoning

Paper • 2507.06203 • Published Jul 8 • 85

Agent KB: Leveraging Cross-Domain Experience for Agentic Problem Solving

Paper • 2507.06229 • Published Jul 8 • 72

liked 2 models about 1 month ago

allenai/olmOCR-7B-0225-preview

Image-to-Text • 8B • Updated Feb 25 • 236k • 693

ChatDOC/OCRFlux-3B

Image-to-Text • 4B • Updated about 1 month ago • 16.6k • 332

New activity in Multilingual-Multimodal-NLP/MMc-Instruct-Stage2 about 1 month ago

[bot] Conversion to Parquet

#1 opened about 1 month ago by

parquet-converter

updated 3 datasets about 1 month ago

Multilingual-Multimodal-NLP/MMc-Instruct-Stage2

Viewer • Updated Jun 25 • 168k • 269

Multilingual-Multimodal-NLP/MMc-Instruct-Stage2

Viewer • Updated Jun 25 • 168k • 269

Multilingual-Multimodal-NLP/MMc-Instruct-Stage2

Viewer • Updated Jun 25 • 168k • 269