讲座
- 机器学习与数据科学博士生系列论坛（第八十一期）—— Matrix Concentration Inequality and Free Probability 2024-12-12
- Applied Mathematics Seminar——密码电路故障注入安全性形式化验证 2024-12-11
- 机器学习与数据科学博士生系列论坛（第八十期）——Bandit with Knapsacks 2024-11-28
- 机器学习与数据科学博士生系列论坛（第七十九期）—— A Practical Guide to Large Language Model Training 2024-11-14
- 机器学习与数据科学博士生系列论坛（第七十八期）—— Recent Advances in Anytime-Valid Inference 2024-10-31
- Applied Mathematics Seminar——Towards Trustworthiness of Large Language Models 2024-11-13
- Conditions for eigenvalue configurations of two real symmetric matrices 2024-10-16
- 机器学习与数据科学博士生系列论坛（第七十七期）—— Solving Inverse Problems Exactly with Diffusion Model: Sequential Monto Carlo 2024-10-17
- 数学中分类问题的复杂性 2024-10-25
- Mini-course on Automata and Transducers (8 hours) 2024-10-15
- Applied Mathematics Seminar——Proof of Proof offers Universal Verifiable Computing by Correct-by-Construction ZKP Generation for All Programming Languages 2024-10-16
- 机器学习与数据科学博士生系列论坛（第七十六期）—— Follow-the-Perturbed-Leader Achieves Best-of-Both-Worlds for Bandit Problems 2024-09-19
- Emerging AI and Machine Learning Tools for Neuroscience Applications 2024-09-09
- 机器学习与数据科学博士生系列论坛（第七十五期）—— Strategies in Repeated Games with Learning Agents 2024-07-04
- 机器学习与数据科学博士生系列论坛（第七十四期）—— Non-Asymptotic Convergence Analysis for Nonsmooth Nonconvex Optimization 2024-06-20
- 机器学习与数据科学博士生系列论坛（第七十三期）—— Provable Rates of Convergence for Score-Based Diffusion Models: A Gentle Review 2024-06-06
- 机器学习与数据科学博士生系列论坛（第七十二期）—— Federated Reinforcement Learning with Heterogeneity among Agents 2024-05-23
- FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving 2024-05-15
- 机器学习与数据科学博士生系列论坛（第七十一期）—— Transportability without the Mean Exchangeability Assumption 2024-05-09
- 机器学习与数据科学博士生系列论坛（第七十期）—— Near Minimax Optimal Distributional Reinforcement Learning 2024-04-25