AutoClimDS: Climate Data Science Agentic AI -- A Knowledge Graph is All You Need
AutoClimDS:气候数据科学代理AI——一个知识图谱足矣
Ahmed Jaber, Wangshu Zhu, Ayon Roy, Karthick Jayavelu, Justin Downes, Sameer Mohamed, Candace Agonafir, Linnia Hawkins, Tian Zheng
机构
*
NSF STC Learning the Earth with AI and Physics (LEAP), Columbia University(NSF STC 学习地球与人工智能和物理(LEAP),哥伦比亚大学)
;
AWS Generative AI Innovation Center(AWS 生成式人工智能创新中心)
;
Department of Statistics, Columbia University(哥伦比亚大学统计系)
Comments16 pages, 1 figure; plus 135-page automated companion paper (authored by Claude Code) included as appendix with 18 figures and 30+ tables reporting factorial evaluation across three LLM families
机构
*
Carnegie Mellon University(卡内基梅隆大学)
;
Population Council Institute(人口理事会研究所)
;
Sitaram Bhartia Institute of Science and Research(西塔拉姆·巴提亚科学与研究研究所)
;
Nivi, Inc.(Nivi公司)
TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
TaoBench: 自动定理证明器LLM是否能超越MathLib?
Alexander K Taylor, Junyi Zhang, Ethan Ji, Vigyan Sahai, Haikang Deng, Yuanzhou Chen, Yifan Yuan, Di Wu, Jia-Chen Gu, Kai-Wei Chang, Nanyun Peng, Amit Sahai, Wei Wang
CommentsThe experimental results in this paper have been further improved and updated; the baseline results do not match existing results, therefore the paper needs to be retracted