Ge Zhang

zhangysk's activity

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

upvoted a paper 4 days ago

Workflow-GYM: Towards Long-Horizon Evaluation of Computer-use Agentic tasks in Real-World Professional Fields

Paper • 2606.11042 • Published 5 days ago • 20

updated a collection 26 days ago

OProver

Collection

9 items • Updated 26 days ago • 3

upvoted a paper 26 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

Paper • 2605.17283 • Published 28 days ago • 31

upvoted 2 papers 3 months ago

InCoder-32B: Code Foundation Model for Industrial Scenarios

Paper • 2603.16790 • Published Mar 17 • 312

Understanding by Reconstruction: Reversing the Software Development Process for LLM Pretraining

Paper • 2603.11103 • Published Mar 11 • 9

authored 4 papers 3 months ago

VeRA: Verified Reasoning Data Augmentation at Scale

Paper • 2602.13217 • Published Jan 23

Search More, Think Less: Rethinking Long-Horizon Agentic Search for Efficiency and Generalization

Paper • 2602.22675 • Published Feb 26 • 23

\$OneMillion-Bench: How Far are Language Agents from Human Experts?

Paper • 2603.07980 • Published Mar 9 • 27

Understanding by Reconstruction: Reversing the Software Development Process for LLM Pretraining

Paper • 2603.11103 • Published Mar 11 • 9

upvoted 2 papers 4 months ago

Search More, Think Less: Rethinking Long-Horizon Agentic Search for Efficiency and Generalization

Paper • 2602.22675 • Published Feb 26 • 23

VideoWorld 2: Learning Transferable Knowledge from Real-world Videos

Paper • 2602.10102 • Published Feb 10 • 14

liked a dataset 4 months ago

m-a-p/Retrieval-Infused-Reasoning-Sandbox

Viewer • Updated Feb 3 • 300 • 74 • 3

authored 3 papers 4 months ago

BABE: Biology Arena BEnchmark

Paper • 2602.05857 • Published Feb 5 • 10

Context Forcing: Consistent Autoregressive Video Generation with Long Context

Paper • 2602.06028 • Published Feb 5 • 36

Retrieval-Infused Reasoning Sandbox: A Benchmark for Decoupling Retrieval and Reasoning Capabilities

Paper • 2601.21937 • Published Jan 29 • 20

upvoted 5 papers 4 months ago

Context Forcing: Consistent Autoregressive Video Generation with Long Context

Paper • 2602.06028 • Published Feb 5 • 36

Retrieval-Infused Reasoning Sandbox: A Benchmark for Decoupling Retrieval and Reasoning Capabilities

Paper • 2601.21937 • Published Jan 29 • 20

BABE: Biology Arena BEnchmark

Paper • 2602.05857 • Published Feb 5 • 10

Vibe AIGC: A New Paradigm for Content Generation via Agentic Orchestration

Paper • 2602.04575 • Published Feb 4 • 17

CoDiQ: Test-Time Scaling for Controllable Difficult Question Generation

Paper • 2602.01660 • Published Feb 2 • 8