Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu, Dmitriy Traytel
机构
*
Department of Computer Science, University of Sheffield, United Kingdom(英国谢菲尔德大学计算机科学系)
;
Department of Informatics, King’s College London, United Kingdom(英国伦敦国王学院信息学院)
;
Department of Computer Science, University of Copenhagen, Denmark(丹麦哥本哈根大学计算机科学系)
机构
*
University of Electronic Science and Technology of China(电子科技大学)
;
National University of Singapore(新加坡国立大学)
;
De Artificial Intelligence Lab(德人工智能实验室)
;
The Chinese University of Hong Kong, Shenzhen(香港中文大学(深圳))
;
University of Science and Technology of China(中国科学技术大学)
Skill-RM: Unifying Heterogeneous Evaluation Criteria via Agent Skill
Skill-RM: 通过智能体技能统一异构评估标准
Tao Chen, Gangwei Jiang, Pengyu Cheng, Siyuan Huang, Yihao Liu, Jingwei Ni, Jiaqi Guo, Mengyu Zhou, Kai Tang, Junling Liu, Qinliang Su, Xiaoxi Jiang, Guanjun Jiang
机构
*
Qwen Large Model Application Team, Alibaba(通义千问大模型应用团队,阿里巴巴)
;
Sun Yat-sen University(中山大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Peking University(北京大学)
;
ETH Zürich University of Zurich(苏黎世联邦理工学院)
机构
*
Zhejiang University(浙江大学)
;
Tencent Youtu Lab(腾讯优图实验室)
;
Nanjing University(南京大学)
;
University of Auckland(奥克兰大学)
;
Fudan University(复旦大学)
;
National University of Singapore(新加坡国立大学)
Comments41 pages, 38 figures, partially presented at the French Symposium of Electrical Engineering in Grenoble, Jun. 2016 and at the Sparse days in St Girons III, Jul. 2015
机构
*
East China University of Science and Technology, Shanghai, China(东华大学)
;
Renji Hospital Affiliated to Shanghai Jiaotong University School of Medicine, Shanghai, China(复旦大学附属中山医院)
Probe Before You Edit: Probing-Guided Molecular Optimization for LLM Agents in Structure-Based Drug Design
编辑前先探测:基于探测引导的分子优化用于基于结构的药物设计中的LLM代理
Zaifei Yang, Weiyu Chen, Yaqing Wang, James Kwok
机构
*
The Hong Kong University of Science and Technology(香港科学与技术大学)
;
City University of Hong Kong(香港城市大学)
;
Beijing Institute of Mathematical Sciences and Applications(北京数学科学应用研究所)
机构
*
Center Leo Apostel for Interdisciplinary Studies, Vrije Universiteit Brussel (VUB)(利奥·阿波斯泰尔跨学科研究中心,布鲁塞尔自由大学)
;
Department of Economics, University of Bergamo(博洛尼亚大学经济系)
;
Department of Humanities and Cultural Heritage (DIUM) and Centre CQSCS, University of Udine(乌迪内大学人文与文化遗产系及CQSCS中心)