Anders Giovanni Møller, Alessia Galdeman, Arianna Pera, Luca Maria Aiello
机构
*
Data Science Section, IT University of Copenhagen(丹麦哥本哈根IT大学数据科学系)
;
Computer Science Department, University of Milan(意大利米兰大学计算机科学系)
;
Copenhagen Center for Social Data Science, University of Copenhagen(丹麦哥本哈根大学哥本哈根社会科学数据科学中心)
机构
*
Department of Electrical and Systems Engineering, University of Pennsylvania(宾夕法尼亚大学电气与系统工程系)
;
École polytechnique, Institut Polytechnique de Paris(巴黎理工学院)
Democratizing Large-Scale Re-Optimization with LLM-Guided Model Patches
利用LLM引导的模型补丁实现大规模重新优化的大众化
Tinghan Ye, Arnaud Deza, Ved Mohan, El Mehdi Er Raqabi, Pascal Van Hentenryck
机构
*
H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology(赫尔曼·米利特·斯图尔特工业与系统工程学院,佐治亚理工学院)
;
Department of Operations and Decision Systems, Université Laval(运营与决策系统系,拉瓦尔大学)
Agentivism: a learning theory for the age of artificial intelligence
Agentivism:人工智能时代的学习理论
Lixiang Yan, Dragan Gašević
机构
*
School of Education, Tsinghua University(清华大学教育学院)
;
Faculty of Education and School of Computing & Data Science, The University of Hong Kong(香港大学教育学院及计算与数据科学学院)
;
Faculty of Information Technology, Monash University(墨尔本大学信息技术学院)
From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails
从拒绝到恢复:一种生成AI防护机制的控制论方法
Ravi Pandya, Madison Bland, Duy P. Nguyen, Changliu Liu, Jaime Fernández Fisac, Andrea Bajcsy
机构
*
Robotics Institute, Carnegie Mellon University(卡内基梅隆大学机器人研究所)
;
Department of Electrical and Computer Engineering, Princeton University(普林斯顿大学电气与计算机工程系)
;
Equal Advising(平等指导)
Assured autonomy: How operations research powers and orchestrates generative AI systems
保障自主性:如何用运筹学赋能和协调生成式AI系统
Tinglong Dai, David Simchi-Levi, Michelle Xiao Wu, Yao Xie
机构
*
Carey Business School, Johns Hopkins University(约翰霍普金斯大学卡里商学院)
;
Data Science and AI Institute, Johns Hopkins University(约翰霍普金斯大学数据科学与人工智能研究院)
;
Institute for Data, Systems and Society, Operations Research Center, Department of Civil and Environmental Engineering, Massachusetts Institute of Technology(麻省理工学院数据、系统与社会研究所,运筹学中心,土木与环境工程系)
;
Purdue University(普渡大学)
;
H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology(佐治亚理工学院H.米尔顿·斯图尔特工业与系统工程学院)
Evaluating AI Alignment in LLMs: Output Analysis of Value Priorities Across 75 Models with Human Benchmarking
评估大语言模型中的AI对齐:通过75个模型的人类基准测试分析价值优先级
Gabriel Rongyang Lau, Wei Yan Low, Seow Min Koh, Fiona Fui-Hoon Nah, Andree Hartanto
机构
*
School of Social Sciences, Nanyang Technological University(南洋理工大学社会科学学院)
;
Interdisciplinary Graduate Programme, Nanyang Technological University(南洋理工大学跨学科研究生项目)
;
Faculty of Arts and Social Sciences, National University of Singapore(新加坡国立大学人文与社会科学学院)
;
School of Computing and Information Systems, Singapore Management University(新加坡管理学院计算与信息学院)
;
School of Social Sciences, Singapore Management University(新加坡管理学院社会科学学院)
Are Researchers Being Replaced by Artificial Intelligence?
研究人员是否被人工智能取代?
Angelo A. Salatino, Ansgar Scherp, Christin Katharina Kreutz, Sahar Vahdati
机构
*
Knowledge Media Institute, The Open University Milton Keynes UK
;
Ulm University Ulm Germany
;
TH Mittelhessen – University of Applied Sciences Gießen Germany
;
TIB – Leibniz Information Centre for Science
;
Technology \& Leibniz University of Hannover Hannover Germany
;
Knowledge Media Institute, The Open University
;
Ulm University
;
TH Mittelhessen – University of Applied Sciences
;
Technology \& Leibniz University of Hannover
GeoMeld: Toward Semantically Grounded Foundation Models for Remote Sensing
GeoMeld:迈向遥感领域语义引导的基模模型
Maram Hasan, Md Aminur Hossain, Savitra Roy, Souparna Bhowmik, Ayush V. Patel, Mainak Singha, Subhasis Chaudhuri, Muhammad Haris Khan, Biplab Banerjee
机构
*
Indian Institute of Technology Bombay(印度理工学院孟买分校)
;
Space Applications Centre, ISRO(印度空间研究组织空间应用中心)
;
University of Trento(特伦托大学)
;
Mohamed bin Zayed University of Artificial Intelligence(穆罕默德·本·扎耶德人工智能大学)
Comments11 pages, 8 tables, 5 theorems (machine-verified via Tamarin Prover). Supplementary materials including formal verification model and reference implementation available from the author
Artificial Intelligence and the Structure of Mathematics
人工智能与数学的结构
Maissam Barkeshli, Michael R. Douglas, Michael H. Freedman
机构
*
Meta Superintelligence Labs, Fundamental AI Research(Meta超级智能实验室,基础人工智能研究)
;
Department of Physics and Joint Quantum Institute, University of Maryland, College Park(马里兰大学帕克分校物理系与联合量子研究所)
;
Center for Mathematical Sciences and Applications, Harvard University(哈佛大学数学科学与应用中心)
CommentsThis work was completed in 2019 as a final project for a graduate course at the University of Waterloo, titled: ECE 750 - Artificial Life: Embodied Intelligence