黄文

taoduan

2 3

AI & ML interests

None yet

Recent Activity

liked a model about 3 hours ago

sentence-transformers/all-MiniLM-L6-v2

upvoted a paper 1 day ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

liked a model 3 days ago

nex-agi/Nex-N2.5-mini

View all activity

Organizations

None yet

upvoted a paper 1 day ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published 3 days ago • 25

upvoted a paper 4 days ago

NeoHorse-1: Towards Recursive Self-Improvement via Agentic Post-Training with Routing Harness

Paper • 2609.08183 • Published 5 days ago • 407