Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
野生环境中的数学发现:巴拿赫空间理论中的人工智能引导证明
Antonio Acuaviva, Pablo Acuaviva
机构
*
School of Mathematical Sciences, Fylde College, Lancaster University, LA1 4YF, United Kingdom(数学科学学院,兰卡斯特大学)
;
Institute of Computer Science, University of Bern, Neubrückstrasse 10, 3012 Bern, Switzerland(计算机科学研究所,伯尔尼大学)
Penny: Transition Network Analysis of Learner-Chatbot Interactions in Scaffolded EFL Writing
佩妮:支架式外语写作中学习者与聊天机器人交互的转换网络分析
Steve Woollaston, Brendan Flanagan, Yuko Toyokawa, Hiroaki Ogata
机构
*
Academic Center for Computing and Media Studies, Kyoto University, Japan(京都大学计算与媒体研究室)
;
College of Information Science and Engineering, Ritsumeikan University, Japan(立命馆大学信息科学与工程学院)
Human-AI Agent Interaction as a Neuroplastic Training Environment
作为神经可塑性训练环境的人类与人工智能代理交互
Eranga Bandara, Ross Gore, Asanga Gunaratna, Ravi Mukkamala, Nihal Siriwardanagea, Gihan Siriwardanagea, Sachini Rajapakse, Isurunima Kularathna, Pramoda Karunarathna, Chalani Rajapakse, Sachin Shetty, Christopher K. Rhea, Ng Wee Keong, Kasun De Zoysa, Amin Hass, Shaifali Kaushik, Wathsala Herath, Preston Samuel, Anita H. Clayton, Atmaram Yarlagadd
机构
*
Old Dominion University(奥多明尼昂大学)
;
AI Motion Labs(人工智能运动实验室)
;
Nanyang Technological University(南洋理工大学)
;
University of Colombo(科伦坡大学)
;
Accenture Technology Labs(埃森哲技术实验室)
;
GSI Scandinavia AB(GSI斯堪的纳维亚公司)
;
Lithuanian University of Health Sciences(立陶宛健康科学大学)
;
Department of Psychiatry and Neurobehavioral Sciences, University of Virginia School of Medicine(弗吉尼亚大学医学院精神病学和神经行为科学系)
;
Blanchfield Army Community Hospital(布兰奇菲尔德陆军社区医院)
;
McDonald Army Health Center(麦克唐纳陆军健康中心)
Creativity from Friction: Human-AI Interaction for Exploratory Structural Design
摩擦产生创造力:用于探索性结构设计的人机交互
Ricardo Maia Avelino, Rita Sevastjanova, Tom Van Mele, Philippe Block, Mennatallah El-Assady
机构
*
Block Research Group, Department of Architecture, ETH Zurich(建筑系,苏黎世联邦理工学院)
;
IVIA Lab, Department of Computer Science, ETH Zurich(计算机科学系,苏黎世联邦理工学院)