Nongyu Di
Identifiers
No identifiers captured yet.
Papers (2)
- Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set cs.SE · 2026 · author #1
- MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning Attention cs.CL · 2025 · author #60
Mentions
No mention provenance yet.
Frequent Coauthors
- Aonian Li 1 shared papers
- Bangwei Gong 1 shared papers
- Binyang Jiang 1 shared papers
- Bo Fei 1 shared papers
- Boji Shan 1 shared papers
- Bo Yang 1 shared papers
- Changqing Yu 1 shared papers
- Chao Wang 1 shared papers
- Chengjun Xiao 1 shared papers
- Chengyu Du 1 shared papers
- Cheng Zhu 1 shared papers
- Chi Zhang 1 shared papers
- Chunhao Zhang 1 shared papers
- Chunhui Du 1 shared papers
- Chu Qiao 1 shared papers
- Congchao Guo 1 shared papers
- Da Chen 1 shared papers
- Deming Ding 1 shared papers
- Dianjun Sun 1 shared papers
- Dong Li 1 shared papers