Shujie Hu's picture

Shujie Hu

sjhu

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 15 hours ago

published a dataset about 16 hours ago

upvoted a paper 23 days ago

LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning

View all activity

Organizations

sjhu 's models

None public yet