Chong Gao
Identifiers
No identifiers captured yet.
Papers (2)
- Evaluation-driven Scaling for Scientific Discovery cs.LG · 2026 · author #11
- Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints cs.LO · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Caiyin Yang 1 shared papers
- Chang Su 1 shared papers
- Dachao Ding 1 shared papers
- Di He 1 shared papers
- Guangrong He 1 shared papers
- Haotian Ye 1 shared papers
- Haowei Lin 1 shared papers
- James Zou 1 shared papers
- Jianzhu Ma 1 shared papers
- Jingyi Tang 1 shared papers
- Lina Sun 1 shared papers
- Miaolei Zhang 1 shared papers
- Rahul Thapa 1 shared papers
- Ruihua Liu 1 shared papers
- Rui Yang 1 shared papers
- Stefano Ermon 1 shared papers
- Taolue Chen 1 shared papers
- Tongyang Li 1 shared papers
- Wenyang Wang 1 shared papers
- Xiaowen Chu 1 shared papers