tian's picture

8

tian

betty513

AI & ML interests

None yet

Recent Activity

upvoted a paper about 5 hours ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 1 day ago

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

upvoted a paper 4 months ago

ConceptMoE: Adaptive Token-to-Concept Compression for Implicit Compute Allocation

View all activity

Organizations

None yet

betty513 's datasets

None public yet