Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
分解与形式化:可递归验证的自然语言推理
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
机构
*
Department of Computer Science, University of Manchester(曼彻斯特大学计算机科学系)
;
School of Computer Science, University of Sheffield(谢菲尔德大学计算机科学学院)
;
Idiap Research Institute(Idiap研究 institute)
;
National Biomarker Centre, CRUK-MI, University of Manchester(曼彻斯特大学国家生物标记中心)
机构
*
Department of Computer Science & Information Systems, Birla Institute of Technology and Science, Pilani, India(印度比拉理工学院计算机科学与信息系统系)
;
Birdeye Inc.(Birdeye公司)
Remote Sensing Image Intelligent Interpretation with the Language-Centered Perspective: Principles, Methods and Challenges
遥感图像智能解读的以语言为中心的视角:原理、方法与挑战
Haifeng Li, Wang Guo, Haiyang Wu, Mengwei Wu, Jipeng Zhang, Qing Zhu, Yu Liu, Xin Huang, Chao Tao
机构
*
School of Geosciences and Info-Physics, Central South University(中南大学地球科学与信息物理学院)
;
Faculty of Geosciences and Environmental Engineering, Southwest Jiaotong University(西南交通大学地质科学与环境工程学院)
;
School of Earth and Space Sciences, Peking University(北京大学地球与空间科学学院)
;
Institute of Remote Sensing Information Processing (IRSIP), Wuhan University(武汉大学遥感信息处理研究所)
机构
*
Department of Computer Science and Engineering, The Chinese University of Hong Kong(计算机科学与工程系,香港中文大学)
;
Institute of Medical Intelligence and XR, The Chinese University of Hong Kong(医学智能与XR研究院,香港中文大学)
;
Department of Computer Science, Khalifa University(计算机科学系,哈利法大学)
机构
*
Faculty of Computing, Harbin Institute of Technology(计算机学院,哈尔滨工业大学)
;
Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences(深圳先进技术研究所,中国科学院)
;
Nanyang Technological University(南洋理工大学)
;
Peng Cheng Laboratory(鹏城实验室)
;
Harbin Institute of Technology Suzhou Research Institute(哈尔滨工业大学苏州研究院)
ThinkNote: Enhancing Knowledge Integration and Utilization of Large Language Models via Constructivist Cognition Modeling
ThinkNote: 通过建构主义认知建模增强大型语言模型的知识整合与利用
Zhipeng Xu, Zhenghao Liu, Yukun Yan, Shuo Wang, Shi Yu, Zheni Zeng, Chaojun Xiao, Zhiyuan Liu, Ge Yu, Chenyan Xiong
机构
*
School of Computer Science and Engineering, Northeastern University(东北大学计算机科学与工程学院)
;
Department of Computer Science and Technology, Tsinghua University(清华大学计算机科学与技术系)
;
Language Technologies Institute, Carnegie Mellon University(卡内基梅隆大学语言技术研究所)