Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
Goedel-Architect: 通过蓝图生成与精炼简化形式定理证明
Jui-Hui Chung, Ziyang Cai, Zihao Li, Qishuo Yin, Rohit Agarwal, Simon Park, Rodrigo Porto, Narutatsu Ri, Ziran Yang, Shange Tang, Xingyu Dang, Hongzhou Lin, Mengdi Wang, Danqi Chen, Chi Jin, Liam H Fowl, Sanjeev Arora
机构
*
University of California, Berkeley(加州大学伯克利分校)
;
Stanford University(斯坦福大学)
;
University of Science and Technology of China(中国科学技术大学)
;
University of Toronto(多伦多大学)
;
National University of Singapore(新加坡国立大学)
;
University of Tokyo(东京大学)
;
University of Washington(华盛顿大学)
机构
*
University of Science and Technology of China(中国科学技术大学)
;
National Key Laboratory of Deep Space Exploration, Deep Space Exploration Laboratory(国家深空探测重点实验室,深空探测实验室)
;
The Chinese University of Hong Kong(香港中文大学)
;
Zhejiang University(浙江大学)
;
Ant Group(蚂蚁集团)
机构
*
University of Science and Technology of China(中国科学技术大学)
;
Microsoft(微软)
;
Nanjing University(南京大学)
;
University of California, San Diego(加州大学圣地亚哥分校)
机构
*
University of Science and Technology of China(中国科学技术大学)
;
Tsinghua University(清华大学)
;
National University of Singapore(新加坡国立大学)
;
University of California, Berkeley(加州大学伯克利分校)
Imagine Before You Predict: Interleaved Latent Visual Reasoning for Video Event Prediction
在预测之前想象:用于视频事件预测的交错潜在视觉推理
Tianxiang Jiang, Linquan Wu, Sheng Xia, Songze Li, Ziang Yan, Haoyu Yang, Yu Qiao, Yi Wang
机构
*
University of Science and Technology of China(中国科学技术大学)
;
Shanghai AI Laboratory(上海人工智能实验室)
;
City University of Hong Kong(香港城市大学)
;
Nanjing University(南京大学)
;
Fudan University(复旦大学)
;
Zhejiang University(浙江大学)
;
University of Electronic Science and Technology of China(电子科技大学)
机构
*
College of Information Science and Technology, Eastern Institute of Technology(信息科学与技术学院,东部技术学院)
;
Department of Aeronautical and Aviation Engineering, The Hong Kong Polytechnic University(航空与航空工程系,香港理工大学)
;
Department of Computing, The Hong Kong Polytechnic University(计算系,香港理工大学)
;
School of Computer Science and Technology, University of Science and Technology of China(计算机科学与技术学院,中国科学技术大学)
;
Department of Mechanical Engineering, The Hong Kong Polytechnic University(机械工程系,香港理工大学)
机构
*
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(复旦大学)