Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Lean 与理论计算机科学的交汇:形式-非形式对中可扩展的定理证明挑战合成
Terry Jingchen Zhang, Wenyuan Jiang, Rongchuan Liu, Yisong Wang, Junran Yang, Ning Wang, Nicole Ni, Yinya Huang, Mrinmaya Sachan
机构
*
D-CHAB, ETH Zurich, Zurich, Switzerland.
;
D-INFK, ETH Zurich, Zurich, Switzerland.
;
ETH AI Center, Zurich, Switzerland.
;
University of Pennsylvania, PA, USA.
;
Independent Researcher.
TouchMap-OR: Multi-View 3D Mapping of Hand-Surface Contacts
TouchMap-OR: 医院内多视角手-表面接触的3D映射
Sophokles Ktistakis, Rui Wang, Bastian Grande, Hugo Sax
机构
*
ETH Zurich(苏黎世联邦理工学院)
;
Institute for Anesthesiology and Perioperative Medicine, University Hospital Zurich(苏黎世大学麻醉学与围术期医学研究所)
;
Department of Public and Global Health, University of Zurich(苏黎世大学公共卫生与全球健康系)
TOAST: Transformer Optimization using Adaptive and Simple Transformations
TOAST: 使用自适应和简单变换的Transformer优化
Irene Cannistraci, Simone Antonelli, Emanuele Palumbo, Thomas M. Sutter, Emanuele Rodolà, Bastian Rieck, Julia E. Vogt
机构
*
Department of Computer Science, ETH Zurich(苏黎世联邦理工学院计算机科学系)
;
CISPA Helmholtz Center for Information Security(信息安全赫尔姆霍兹中心)
;
Sapienza University of Rome(罗马大学萨皮恩扎大学)
;
University of Fribourg(弗里堡大学)
Uncertainty Quantification as a Principled Foundation for Explainable Artificial Intelligence: A Case Study of Counterfactual Explanations
不确定性量化作为可解释人工智能的原理性基础:反事实解释的案例研究
Kacper Sokol, Santo M. A. R. Thies, Eyke Hüllermeier
机构
*
Department of Informatics, USI Lugano(乌里大学信息学院)
;
Department of Computer Science, ETH Zurich(苏黎世联邦理工学院计算机科学系)
;
Institute of Informatics, LMU Munich(慕尼黑大学信息研究所)
机构
*
State Key Laboratory of AI Safety, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China(中国科学院人工智能安全国家重点实验室,计算技术研究所,北京,中国)
;
University of Chinese Academy of Sciences, Beijing, China(中国科学院大学,北京,中国)
;
China University of Mining & Technology, Beijing(中国矿业大学(北京))
;
ETH Zürich(苏黎世联邦理工学院)
;
City College of New York, City University of New York(纽约城市学院,纽约城市大学)
;
Xiamen Institute of Data Intelligence, Xiamen, China(厦门数据智能研究院,厦门,中国)
Extrapolation Guarantees for Perturbation Modeling Under the Additive Latent Shift Assumption
在加性潜在位移假设下对扰动建模的外推保证
Julius von Kügelgen, Jakob Ketterer, Michael Vollenweider, Michael Scholkemper, Xinwei Shen, Nicolai Meinshausen, Jonas Peters
机构
*
Seminar for Statistics, ETH Zurich(统计系,苏黎世联邦理工学院)
;
ETH Zurich(苏黎世联邦理工学院)
;
DZNE, Bonn, Germany(波恩德国DZNE)
;
Department of Statistics, University of Washington, Seattle, USA(华盛顿大学统计系,美国西雅图)
CommentsUpdated preprint with new material and empirical results; previous version presented at the ICLR'25 Workshop on Learning Meaningful Representations of Life
Eskwai for Students: Generative AI Assistant for Legal Education in Ghana
Eskwai for Students:面向加纳法律教育的生成式AI助手
George Boateng, Philemon Badu, Patrick Agyeman-Budu, Samuel Ansah, Evans Atompoya, Evan Igwilo, Lord Baah, Frederick Abu-Bonsrah, Victor Wumbor-Apin Kumbol
机构
*
ETH Zurich, Switzerland(瑞士苏黎世联邦理工学院)
;
Charité - Universitätsmedizin Berlin, Germany(柏林夏里特医学院)
;
Kwame AI Inc., U.S.(美国瓦卡姆AI公司)
AI总结
本文介绍了Eskwai for Students,一个基于检索增强生成(RAG)的生成式AI助手,用于帮助加纳法律学生解答法律问题,通过超过12000份案例法和1400项立法数据库,评估其对学生查询的帮助性及伦理影响。
Comments10 pages. Accepted at the 27th International Conference on Artificial Intelligence in Education (AIED 2026)
PACER: Acyclic Causal Discovery from Large-Scale Interventional Data
PACER:从大规模干预数据中进行无环因果发现
Ramon Viñas Torné, Sílvia Fàbregas Salazar, Soyon Park, Ivo Alexander Ban, Artyom Gadetsky, Nikita Doikov, Maria Brbić
机构
*
Swiss Federal Technology Institute of Lausanne (EPFL), Switzerland(瑞士联邦理工学院洛桑分校)
;
Cornell University, USA(康奈尔大学)
;
ETH Zurich, Zurich, Switzerland(苏黎世联邦理工学院)
ARA: Agentic Reproducibility Assessment For Scalable Support Of Scientific Peer-Review
ARA:面向大规模科学同行评审的代理可重复性评估
Kevin Riehl, Andres L. Marin, Nikofors Zacharof, Fan Wu, Patrick Langer, Robert Jakob, Anastasios Kouvelas, Georgios Fontaras, Michail A. Makridis
机构
*
ETH Zürich, IVT & Agentic Systems Lab (ASL)(苏黎世联邦理工学院,信息与通信技术研究所及代理系统实验室)
;
European Commission, Joint Research Centre(欧洲委员会,联合研究中心)
;
University of Konstanz(康斯坦茨大学)
;
Ideas Forward
Neural Policy Composition from Free Energy Minimization
从自由能最小化中学习神经策略组合
Francesca Rossi, Veronica Centorrino, Francesco Bullo, Giovanni Russo
机构
*
Scuola Superiore Meridionale, Italy(意大利南部高级学院)
;
ETH, Zürich(苏黎世联邦理工学院)
;
Center for Control, Dynamical Systems, and Computation, UC Santa Barbara, CA, USA(加州大学圣巴巴拉分校控制与动力系统中心)
;
Department of Information and Electrical Engineering and Applied Mathematics, University of Salerno, Italy(意大利萨勒诺大学信息与电气工程及应用数学系)
LEAP: Local ECT-Based Learnable Positional Encodings for Graphs
LEAP: 图形中的基于ECT的可学习位置编码
Juan Amboage, Ernst Röell, Patrick Schnider, Bastian Rieck
机构
*
AIDOS Lab, University of Fribourg(弗里堡大学AIDOS实验室)
;
Institute of AI for Health, Helmholtz Munich(慕尼黑亥姆霍兹人工智能与健康研究所)
;
Technical University of Munich(慕尼黑技术大学)
;
Department of Computer Science, ETH Zurich(苏黎世联邦理工学院计算机科学系)
;
Department of Computer Science, University of Basel(巴塞尔大学计算机科学系)