Ge Zhang's picture

Ge Zhang

zhangysk

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 13 days ago

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

updated a collection about 1 month ago

upvoted a paper about 1 month ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

View all activity

Organizations

Papers 150

arxiv:2603.11103

arxiv:2603.07980

arxiv:2602.22675

arxiv:2602.06028

View 150 papers

models 0

None public yet

datasets 0

None public yet