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(慕尼黑大学信息研究所)