xieweihao's picture

xieweihao

chalengr

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 4 days ago

Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution

upvoted a paper about 1 month ago

CodeTracer: Towards Traceable Agent States

View all activity

Organizations

Papers 6

arxiv:2602.10604

arxiv:2512.12730

arxiv:2512.01948

arxiv:2510.18726

models 0

None public yet

datasets 0

None public yet