Shange Tang

Identifiers

• name variant Shange Tang 0.60 · backfill

Papers (3)

1. MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI cs.LG · 2026 · author #22
2. Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover cs.AI · 2026 · author #4
3. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction cs.LG · 2025 · author #2

Mentions

• 2605.08678 #22 · arxiv_oai · confidence 0.70 Shange Tang
• 2508.03613 #2 · arxiv_oai · confidence 0.70 Shange Tang

Frequent Coauthors

• Chi Jin 3 shared papers
• Bohan Lyu 2 shared papers
• Hongzhou Lin 2 shared papers
• Jui-Hui Chung 2 shared papers
• Lai Jiang 2 shared papers
• Ziran Yang 2 shared papers
• Chengshuai Shi 1 shared papers
• Danqi Chen 1 shared papers
• Dapeng Jiang 1 shared papers
• David Acuna 1 shared papers
• Dawn Song 1 shared papers
• Haoyu Zhao 1 shared papers
• Huan-ang Gao 1 shared papers
• Huaqing Zhang 1 shared papers
• Jiantao Jiao 1 shared papers
• Jiaru Zhang 1 shared papers
• Jiawei Ge 1 shared papers
• Jiayun Wu 1 shared papers
• Jingruo Sun 1 shared papers
• Jiri Gesi 1 shared papers