LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
LeanMarathon:通过长视界Lean自动形式化实现可靠的AI合作数学家
Yuanhe Zhang, Yuekai Sun, Taiji Suzuki, Jason D. Lee, Fanghui Liu
机构
*
Department of Statistics, University of Warwick, UK(英国沃里克大学统计系)
;
Center for Advanced Intelligence Project, RIKEN, Japan(日本理化学研究所高级智能项目)
;
Department of Statistics, University of Michigan, USA(美国密歇根大学统计系)
;
Department of Mathematical Informatics, The University of Tokyo(东京大学数学信息学系;日本理化学研究所高级智能项目)
;
also Center for Advanced Intelligence Project, RIKEN, Japan(加州大学伯克利分校电气工程与计算机科学系;统计系)
;
Department of Electrical Engineering and Computer Sciences, also Department of Statistics, University of California, Berkeley, USA(上海交通大学数学科学学院,自然科学院和MOE-LSC)
;
School of Mathematical Sciences, Institute of Natural Sciences and MOE-LSC, Shanghai Jiao Tong University, China
Reward-Decomposed Reinforcement Learning for Immersive Video Role-Playing
面向沉浸式视频角色扮演的奖励分解强化学习
Miao Wang, Yuling Shi, Yijiang Li, Yeheng Chen, Xiaodong Gu, Bin Li, Bo Gao, Jun Wang, Zengxin Han, Jingtong Wu, Yaduan Ruan
机构
*
Nanjing University(南京大学)
;
Shanghai Jiao Tong University(上海交通大学)
;
University of California, San Diego(加州大学圣地亚哥分校)
;
Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences(中国科学院深圳先进技术研究院)
;
School of Information Engineering, Beijing Institute of Graphic Communication(北京印刷学院信息工程学院)
;
Ant International, Ant Group(蚂蚁集团国际部)
;
Independent Researcher(独立研究者)
机构
*
Institute of AI (TeleAI), China Telecom(人工智能研究院(TeleAI),中国电信)
;
Lumos Robotics(Lumos机器人)
;
University of Science and Technology of China(中国科学技术大学)
;
Northwestern Polytechnical University(西北工业大学)
;
Shanghai Jiao Tong University(上海交通大学)
;
East China University of Science and Technology(东华大学)
;
Harbin Engineering University(哈尔滨工程大学)
;
Fudan University(复旦大学)
机构
*
School of Mathematics and Statistics, Nanjing University of Information Science and Technology(南京信息工程大学数学与统计学院)
;
School of Communication and Artificial Intelligence, Nanjing Institute of Technology(南京理工大学通信与人工智能学院)
;
School of Integrated Circuits, Nanjing Institute of Technology(南京理工大学集成电路学院)
;
Jiangsu Province Engineering Research Center of IntelliSense Technology and System(江苏省智能感知技术与系统工程研究中心)
;
Hubei Key Laboratory of Applied Mathematics, Hubei University(湖北省应用数学重点实验室)
;
Key Laboratory of System Control and Information Processing, Ministry of Education, Shanghai Jiao Tong University(教育部系统控制与信息处理重点实验室,上海交通大学)
机构
*
Mohamed bin Zayed University of Artificial Intelligence(Mohamed bin Zayed大学人工智能学院)
;
University of Trento(特伦托大学)
;
Department of Civil and Environmental Engineering, The Hong Kong Polytechnic University(香港理工大学土木与环境工程系)
;
South China University of Technology(华南理工大学)
;
College of Computer Science and Technology, Zhejiang University(浙江大学计算机科学与技术学院)
;
Institute of Big Data, Fudan University(复旦大学大数据研究院)
;
Shanghai Jiao Tong University(上海交通大学)
机构
*
Shanghai Academy of AI for Science(上海人工智能科学研究院)
;
Shanghai Innovation Institute(上海创新研究院)
;
Fudan University(复旦大学)
;
School of Mathematical Sciences(数学科学学院)
;
Shanghai Jiao Tong University(上海交通大学)
;
Carnegie Mellon University(卡内基梅隆大学)
机构
*
School of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China(上海交通大学人工智能学院)
;
Shanghai Artificial Intelligence Laboratory, Shanghai, China(上海人工智能实验室)
;
University of Science and Technology of China, Hefei, Anhui, China(中国科学技术大学)
;
The Chinese University of Hong Kong, Hong Kong, China(香港中文大学)
;
Nanjing University, Suzhou, Jiangsu, China(南京大学)
;
Peking University, Beijing, China(北京大学)
Breaking Bad Molecules: Are MLLMs Ready for Structure-Level Molecular Detoxification?
Breaking Bad Molecules: MLLMs 是否准备好进行结构级分子解毒?
Fei Lin, Ziyang Gong, Cong Wang, Tengchao Zhang, Yonglin Tian, Yining Jiang, Ji Dai, Chao Guo, Xiaotong Yu, Xue Yang, Gen Luo, Fei-Yue Wang
机构
*
Department of Engineering Science, Macau University of Science and Technology, Macau, China(澳门科学技术大学工程科学系)
;
School of Computer Science, Shanghai Jiao Tong University, Shanghai, China(上海交通大学计算机科学学院)
;
Institute of Automation, Chinese Academy of Sciences, Beijing, China(中国科学院自动化研究所)
;
School of Pharmacy, Macau University of Science and Technology, Macau, China(澳门科学技术大学药学院)
;
Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China(宁波大学电气与计算机科学学院)
;
State Key Laboratory of Biopharmaceutical Preparation and Delivery, Institute of Process Engineering, Chinese Academy of Sciences, Beijing, China(中国科学院生物制药制备与递送国家重点实验室)
;
School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China(上海交通大学自动化与智能感知学院)
;
Shanghai Artificial Intelligence Laboratory, Shanghai, China(上海人工智能实验室)
机构
*
School of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China(上海交通大学人工智能学院)
;
Shanghai Artificial Intelligence Laboratory, Shanghai, China(上海人工智能实验室)
;
University of Science and Technology of China, Hefei, Anhui, China(中国科学技术大学)
;
The Chinese University of Hong Kong, Hong Kong, China(香港中文大学)
;
University of Illinois Urbana-Champaign, Urbana, IL, USA(伊利诺伊大学厄巴纳-香槟分校)
Distributed sampled-data control of nonholonomic multi-robot systems with proximity networks
非holonomic多机器人系统的分布式采样数据控制与临近网络
Zhixin Liu, Lin Wang, Jinhuan Wang, Daoyi Dong, Xiaoming Hu
机构
*
Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, CAS(系统与控制重点实验室,数学与系统科学研究院)
;
Department of Automation, Shanghai Jiaotong University(自动化系,上海交通大学)
;
School of Sciences, Hebei University of Technology(理学院,河北工业大学)
;
School of Engineering and Information Technology, University of New South Wales(工程与信息技术学院,新南威尔士大学)
;
Systems Theory, KTH Royal Institute of Technology(系统理论,皇家理工学院)
scTranslation: A Comprehensive Benchmark for Single-Cell Multi-Omics Modality Translation
scTranslation:单细胞多组学模态翻译的综合基准
Jiabei Cheng, Jingbo Zhou, Jun Xia, Changkai Li, Zhen Lei, Chang Yu, Stan Z. Li
机构
*
Westlake University(西湖大学)
;
Shanghai Jiao Tong University(上海交通大学)
;
Zhejiang University(浙江大学)
;
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
Xidian University(西安电子科技大学)
;
Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所)
机构
*
Institute of Image Processing and Pattern Recognition, School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China(图像处理与模式识别研究所,自动化与智能感知学院,上海交通大学,上海,中国)
;
Shanghai Key Laboratory of Flexible Medical Robotics, Tongren Hospital, Institute of Medical Robotics, Shanghai Jiao Tong University, Shanghai, China(柔性医疗机器人上海市重点实验室,同仁医院,医疗机器人研究所,上海交通大学,上海,中国)