Robust Verification of Concurrent Stochastic Games
并发随机游戏的鲁棒验证
Angel Y. He, David Parker
机构
*
Department of Computer Science, University of Oxford, Oxford OX1 2JD, UK(计算机科学系,牛津大学,牛津 OX1 2JD,英国)
AI总结
本文提出鲁棒并发随机游戏模型及验证框架,用于处理多智能体系统中转移概率的不确定性问题。
CommentsExtended version of a paper accepted to TACAS 2026. Main text: 17 pages, 2 figures, 2 tables; Appendix: 37 pages, 3 figures, 3 tables. Minor revisions and clarifications to the appendix; no changes to results
Dynamic angular synchronization under smoothness constraints
在平滑性约束下的动态角同步
Ernesto Araya, Mihai Cucuringu, Hemant Tyagi
机构
*
Department of Mathematics, Ludwig-Maximilians-Universität München(数学系,慕尼黑路德维希-马克西米利安大学)
;
Department of Mathematics, University of California Los Angeles(数学系,加州大学洛杉矶分校)
;
Department of Statistics & Oxford-Man Institute of Quantitative Finance, University of Oxford(统计系及牛津-曼定量金融研究所,牛津大学)
;
Division of Mathematical Sciences, School of Physical and Mathematical Sciences, Nanyang Technological University(数学科学学院,南洋理工大学)
;
Inria Lille(里尔Inria)
Large language models struggle with ethnographic text annotation
大型语言模型在民族志文本标注中表现不佳
Leonardo S. Goodall, Dor Shilton, Daniel A. Mullins, Harvey Whitehouse
机构
*
Calleva Research Centre Oxford Internet Institute University of Oxford(牛津大学奥克斯福德互联网研究所卡列瓦研究中心)
;
Cohn Institute for the History and Philosophy of Science and Ideas Tel Aviv University(特拉维夫大学科恩研究所)
;
Birkbeck College University of London(伦敦大学伯克贝克学院)
;
Centre for the Study of Social Cohesion University of Oxford(牛津大学社会凝聚力研究所以及牛津大学)
Partial Reasoning in Language Models: Search and Refinement Guided by Uncertainty
语言模型中的部分推理:由不确定性引导的搜索与细化
Murilo da Luz, Bruno Brandão, Luana Martins, Gustavo Oliveira, Bryan de Oliveira, Luckeciano Melo, Telma Soares
机构
*
Advanced Knowledge Center for Immersive Technologies (AKCIT)(沉浸式技术高级知识中心)
;
Federal University of Goiás, Brazil(巴西戈亚斯联邦大学)
;
OATML, University of Oxford(牛津大学OATML)
Does DINOv3 Set a New Medical Vision Standard? Benchmarking 2D and 3D Classification, Segmentation, and Registration
DINOv3 是否设定了医学视觉的新标准?对2D和3D分类、分割与配准的基准测试
Che Liu, Yinda Chen, Haoyuan Shi, Jinpeng Lu, Bailiang Jian, Jiazhen Pan, Linghan Cai, Jiayi Wang, Jieming Yu, Ziqi Gao, Xiaoran Zhang, Long Bai, Yundi Zhang, Jun Li, Cosmin I. Bercea, Cheng Ouyang, Chen Chen, Zhiwei Xiong, Benedikt Wiestler, Christian Wachinger, James S. Duncan, Daniel Rueckert, Wenjia Bai, Rossella Arcucci
机构
*
Imperial College London(伦敦帝国理工学院)
;
University of Science and Technology of China(中国科学技术大学)
;
Dresden University of Technology(德累斯顿技术大学)
;
University of Erlangen-Nuremberg(埃尔兰根-纽伦堡大学)
;
University of Oxford(牛津大学)
;
University of Sheffield(谢菲尔德大学)
;
Technical University of Munich (TUM)(慕尼黑技术大学)
;
Munich Center for Machine Learning(慕尼黑机器学习中心)
;
The Hong Kong University of Science and Technology(香港科学与技术大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Yale University(耶鲁大学)
CommentsRevision in response to reviewers' comments. The mean-field random function has been replaced by a mean-field term. Some typos fixed. Minor title change
OrthoGeoLoRA: Geometric Parameter-Efficient Fine-Tuning for Structured Social Science Concept Retrieval on theWeb
OrthoGeoLoRA:用于Web上结构化社会科学概念检索的几何参数高效微调
Zeqiang Wang, Xinyue Wu, Chenxi Li, Zixi Chen, Nishanth Sastry, Jon Johnson, Suparna De
机构
*
University of Surrey(萨里大学)
;
Washington State University(华盛顿州立大学)
;
University of Oxford(牛津大学)
;
New York University Shanghai(纽约大学上海分校)
;
University College London(伦敦大学学院)
Imaging-anchored Multiomics in Cardiovascular Disease: Integrating Cardiac Imaging, Bulk, Single-cell, and Spatial Transcriptomics
心血管疾病中的成像锚定多组学:整合心脏成像、批量、单细胞和空间转录组学
Minh H. N. Le, Tuan Vinh, Thanh-Huy Nguyen, Tao Li, Bao Quang Gia Le, Han H. Huynh, Monika Raj, Carl Yang, Min Xu, Nguyen Quoc Khanh Le
机构
*
International Ph.D. Program in Medicine, College of Medicine, Taipei Medical University, Taipei, Taiwan
;
AIBioMed Research Group, Taipei Medical University, Taipei, Taiwan
;
Medical Sciences Division, University of Oxford, Oxford, United Kingdom
;
Computational Biology Department, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA
;
Department of Computer Science, Emory University, Atlanta, GA, USA
;
Department of Chemistry, Emory University, Atlanta, GA, USA
;
International Master Program for Translational Science, College of Medical Science
;
Technology, Taipei Medical University, Taipei 110, Taiwan
;
In-Service Master Program in Artificial Intelligence in Medicine, College of Medicine, Taipei Medical University, Taipei, Taiwan
;
Translational Imaging Research Center, Taipei Medical University Hospital, Taipei, Taiwan
Samuele Marro, Alan Chan, Xinxing Ren, Lewis Hammond, Jesse Wright, Gurjyot Wanga, Tiziano Piccardi, Nuno Campos, Tobin South, Jialin Yu, Sunando Sengupta, Eric Sommerlade, Alex Pentland, Philip Torr, Jiaxin Pei
机构
*
University of Oxford(牛津大学)
;
Institute for Decentralized AI(去中心化人工智能研究所)
;
Centre for the Governance of AI(人工智能治理中心)
;
Coral Protocol(珊瑚协议)
;
Cooperative AI Foundation(协作人工智能基金会)
;
Webair
;
Johns Hopkins University(约翰霍普金斯大学)
;
Witan Labs(Witan实验室)
;
Stanford University(斯坦福大学)
;
Microsoft(微软)
;
UT Austin(得克萨斯大学奥斯汀分校)
AI总结
本文提出 agent-permissions.json,一种轻量级声明,用于规范 Web 代理的交互权限,以提升自动化应用与网站所有者的协调性。
CommentsAuthored by the Lightweight Agent Standards Working Group https://las-wg.org/
机构
*
Core Supervisors. 0.5em Affiliations: National University of Singapore, Renmin University of China, Fudan University, Peking University, Nanyang Technological University, Tongji University, University of California San Diego, Hong Kong University of Science
;
Technology (Guangzhou), Griffith University, Georgia Institute of Technology, OPPO, Oxford University
Global 3D Reconstruction of Clouds & Tropical Cyclones
全球对流层云和热带气旋的三维重建
Shirin Ermis, Cesar Aybar, Lilli Freischem, Stella Girtsou, Kyriaki-Margarita Bintsi, Emiliano Diaz Salas-Porras, Michael Eisinger, William Jones, Anna Jungbluth, Benoit Tremblay
机构
*
University of Oxford(牛津大学)
;
Universitat de València(瓦伦西亚大学)
;
National Observatory of Athens(雅典国家天文台)
;
National Technical University of Athens(雅典技术大学)
;
Harvard Medical School(哈佛医学院)
;
Massachusetts General Hospital(麻省总医院)
;
European Space Agency(欧洲航天局)
;
Environment and Climate Change Canada(加拿大环境与气候变化部)
Fangjinhua Wang, Qingtian Zhu, Di Chang, Quankai Gao, Junlin Han, Tong Zhang, Richard Hartley, Marc Pollefeys
机构
*
Department of Computer Science, ETH Zurich(苏黎世联邦理工学院计算机科学系)
;
Graduate School of Information Science and Technology, The University of Tokyo(东京大学信息科学与技术研究生院)
;
Department of Computer Science, University of Southern California(南加州大学计算机科学系)
;
Department of Engineering Science, University of Oxford(牛津大学工程科学系)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
School of Computer and Communication Sciences, EPFL(苏黎世联邦理工学院计算机与通信科学学院)
;
Australian National University(澳大利亚国立大学)
;
Microsoft, Zurich(微软(瑞士))
机构
*
University of Oslo(奥斯陆大学)
;
Bosch Center for AI(博世人工智能中心)
;
University of Stuttgart(斯图加特大学)
;
Amazon(亚马逊公司)
;
University of Oxford(牛津大学)
;
The University of Manchester(曼彻斯特大学)
;
University of Southampton(南安普顿大学)
Hao Cheng, Erjia Xiao, Jing Shao, Yichi Wang, Le Yang, Chao Shen, Philip Torr, Jindong Gu, Renjing Xu
机构
*
Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
University of Oxford(牛津大学)
;
Xi’an Jiaotong University(西安交通大学)
;
Hong Kong University of Science and Technology(香港科技大学)
;
Northeastern University(东北大学)
;
Beijing University of Technology(北京理工大学)
A Brain-like Synergistic Core in LLMs Drives Behaviour and Learning
类脑协同核心在大语言模型中驱动行为与学习
Pedro Urbina-Rodriguez, Zafeirios Fountas, Fernando E. Rosas, Jun Wang, Andrea I. Luppi, Haitham Bou-Ammar, Murray Shanahan, Pedro A. M. Mediano
机构
*
Department of Computing Imperial College London(帝国理工学院计算机系)
;
Huawei Noah’s Ark Lab(华为诺亚实验室)
;
AI Centre Department of Computer Science University College London(伦敦大学学院人工智能中心)
;
Department of Informatics University of Sussex(Sussex大学信息学院)
;
Centre for Complexity Science and Center for Psychedelic Research Department of Brain Science Imperial College London(帝国理工学院复杂科学中心和迷幻研究中心)
;
Department of Psychiatry and Centre for Eudaimonia and Human Flourishing University of Oxford(牛津大学精神病学系和幸福与人类繁荣中心)
;
Division of Information Engineering and St John’s College University of Cambridge(剑桥大学信息工程系和圣约翰学院)
;
Montreal Neurological Institute McGill University(麦吉尔大学蒙特利尔神经科学研究所)
;
Division of Psychology and Language Sciences University College London(伦敦大学学院心理学与语言科学系)
机构
*
Hangzhou Institute for Advanced Study, UCAS, Hangzhou, China(杭州高等研究院,UCAS,杭州,中国)
;
University of Oxford, Oxford, UK(牛津大学,牛津,英国)
;
University of Science and Technology Beijing, Beijing, China(北京科技大学,北京,中国)
;
SKLCS and Key Laboratory of System Software, ISCAS, Beijing, China(SKLCS和系统软件重点实验室,ISCAS,北京,中国)
;
Laboratory of Parallel Software and Computational Science, ISCAS, Beijing, China(并行软件与计算科学实验室,ISCAS,北京,中国)
;
University of Chinese Academy of Sciences, Beijing, China(中国科学院大学,北京,中国)
DeePM: Regime-Robust Deep Learning for Systematic Macro Portfolio Management
DeePM:面向系统性宏观投资组合管理的鲁棒深度学习
Kieran Wood, Stephen J. Roberts, Stefan Zohren
机构
*
Oxford-Man Institute & Machine Learning Research Group University of Oxford(牛津-曼彻斯特研究所及机器学习研究组牛津大学)
;
Machine Learning Research Group University of Oxford(机器学习研究组牛津大学)
Michael Henry Tessler, Georgina Evans, Michiel A. Bakker, Iason Gabriel, Sophie Bridgers, Rishub Jain, Raphael Koster, Verena Rieser, Anca Dragan, Matthew Botvinick, Christopher Summerfield
机构
*
Google DeepMind(谷歌DeepMind)
;
Massachusetts Institute of Technology(麻省理工学院)
;
Yale Law School(耶鲁法学院)
;
Department of Experimental Psychology, University of Oxford(牛津大学实验心理学系)
AI总结
本文探讨人工智能如何通过增强参与、公平调解和有意义讨论来提升民主讨论的质量。
Journal refKnight Institute for the First Amendment at Columbia University Symposium on "AI and Democratic Freedoms", April 10-11, 2025