sy fang

dwferdasda's activity

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

upvoted a paper 18 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

Paper • 2605.17283 • Published 20 days ago • 31

upvoted a paper 6 months ago

From Code Foundation Models to Agents and Applications: A Practical Guide to Code Intelligence

Paper • 2511.18538 • Published Nov 23, 2025 • 304

upvoted a paper 8 months ago

ACADREASON: Exploring the Limits of Reasoning Models with Academic Research Problems

Paper • 2510.11652 • Published Oct 13, 2025 • 30

upvoted a paper 9 months ago

Reverse-Engineered Reasoning for Open-Ended Generation

Paper • 2509.06160 • Published Sep 7, 2025 • 151

liked a dataset 11 months ago

Qwen/ProcessBench

Viewer • Updated Dec 27, 2024 • 3.4k • 8.24k • 59

liked a dataset about 1 year ago

open-r1/OpenR1-Math-220k

Viewer • Updated Feb 18, 2025 • 450k • 50.9k • 759

liked a model about 1 year ago

deepseek-ai/DeepSeek-R1-Distill-Qwen-1.5B

Text Generation • 2B • Updated Feb 24, 2025 • 812k • • 1.52k

liked 2 models over 1 year ago

deepseek-ai/DeepSeek-R1-Distill-Qwen-32B

Text Generation • 33B • Updated Feb 24, 2025 • 573k • • 1.56k

Qwen/Qwen2.5-7B-Instruct

Text Generation • 8B • Updated Jan 12, 2025 • 12.4M • • 1.33k

liked 5 datasets over 1 year ago

rmanluo/RoG-cwq

Viewer • Updated Oct 1, 2023 • 23.9k • 5.3k • 12

rmanluo/RoG-webqsp

Viewer • Updated Oct 1, 2023 • 4.7k • 8.48k • 27

drt/kqa_pro

Viewer • Updated Oct 20, 2022 • 118k • 481 • 8

mhivanov123/metaqa-3hop

Viewer • Updated Nov 19, 2024 • 143k • 297 • 3

jingyaogong/minimind_dataset

Preview • Updated Apr 9 • 3.4k • 100

liked 3 models over 1 year ago

sentence-transformers/all-MiniLM-L6-v2

Sentence Similarity • 22.7M • Updated 5 days ago • 255M • • 4.9k

sentence-transformers/paraphrase-multilingual-MiniLM-L12-v2

Sentence Similarity • 0.1B • Updated Jan 28 • 50.6M • • 1.26k

black-forest-labs/FLUX.1-dev

Text-to-Image • Updated Jun 27, 2025 • 818k • • 13.1k

liked 3 models almost 2 years ago

BAAI/bge-m3

Sentence Similarity • Updated Jul 3, 2024 • 31.8M • • 3.09k

BAAI/bge-large-zh-v1.5

Feature Extraction • Updated Apr 2, 2024 • 1.13M • • 630

moka-ai/m3e-base

Updated Jul 14, 2023 • 255k • 985