-
07-30
2025
Goedel-Prover-V2: The Strongest Open-Source Theorem Prover to Date
演讲人： Chi Jin [Princeton University]时间： 11:00-12:00, Jul 30, 2025 (Wed)地点：RM 1-222, FIT Building (https://meeting.tencent.com/dm/wIj1OMGZx499)内容：This talk introduces Goedel-Prover-V2, an open-source model that establishes a new state-of-the-art for automated theorem proving in Lean. https://blog.goedel-prover.com/个人简介:Chi Jin is an Assistant Professor of Electrical and Computer ...
-
07-25
2025
New Breakthrough in Matrix Multiplication
演讲人： Renfei Zhou [CMU]时间： 11:00-12:00, Jul 25, 2025 (Fri)地点：RM 1-222, FIT Building (https://meeting.tencent.com/dm/1suGQN3X1y5V （#腾讯会议：939-634-954）)内容：Fast matrix multiplication is one of the most fundamental problems in computer science. We present new algorithms that improve the time complexity of matrix multiplication to $n^{2.371339}$, surpassing the previous bound of $n...
-
07-25
2025
量子电池容量理论及其应用
演讲人： 杨雪 [西南交通大学]时间： 10:00-11:00, Jul 25, 2025 (Fri)地点：RM S527, MMW Building内容：随着量子技术的发展，以可控方式存储和释放能量的量子设备（即量子电池）的理论和实验研究越来越重要。与传统的经典电池相比，量子电池具备更为快速且更高功率的充电性能，这一特性使其有望在降低人类对化石燃料的依赖、减少碳排放方面发挥重要作用。量子电池研究的一个核心问题是能量转换，此前的研究表明量子电池的能量...
-
07-24
2025
Selective conformal prediction for trusted AI-driven decisions
演讲人： 金滢 [宾夕法尼亚大学]时间： 10:30-12:00, Jul 24, 2025 (Thu)地点：RM 1-222, FIT Building内容：Conformal prediction is a distribution-free uncertainty quantification framework for assessing the reliability of black-box AI models. Standard conformal prediction provides on-average (marginal) guarantees which, despite being useful, can be insufficient in decision-making processes that usual...
-
07-21
2025
Bulk-acoustic resonators for quantum technologies with phonons
演讲人： Dr. Matteo Fadel [ETH Zürich, Switzerland]时间： 10:00-11:30, Jul 21, 2025 (Mon)地点：RM S327, MMW Building内容：Mechanical resonators are highly versatile tools for hybrid quantum technologies due to their many available bosonic modes with long coherence times. In order to unlock applications such as quantum simulation and sensing, however, it is necessary to develop tools for the pr...
-
07-07
2025
The Benchmark of Optical Precision: Frequency combs, ultrastable lasers, and clocks for science and industry
演讲人： Dr. Michael Mei [Menlo system]时间：11:15-12:00, Jul 7, 2025 (Mon)地点：RM S327, MMW Building内容：Became central to this progress, enabling coherent links between optical and microwave domains, high-precision spectroscopy, and state-of-the-art time and frequency dissemination. In this presentation, Menlo Systems will showcase the latest developments in frequency comb technology tailor...