讲座
- 机器学习与数据科学博士生系列论坛（第八十九期）——Statistical Guarantees in Continuous-Time Policy Evaluation 2025-05-29
- 机器学习与数据科学博士生系列论坛（第八十八期）——Properties and Applications of the ESD of i.i.d. Random Matrices with Random Perturbations 2025-05-15
- Applied Mathematics Seminar——大模型代码生成与代码推理能力研究 2025-04-25
- 机器学习与数据科学博士生系列论坛（第八十七期）—— A Regularized Online Newton Method for Stochastic Convex Bandits with Linear Vanishing Noise 2025-04-17
- Verified computation of integrals in Iscalc and experiments with LLMs 2025-04-20
- 神经网络安全验证及应用 2025-04-10
- 机器学习与数据科学博士生系列论坛（第八十六期）—— Generator Matching with Markov Processes 2025-04-03
- 计算几何与符号计算 2025-04-02
- A structure-preserving parametric finite element method for geometric PDEs and applications 2025-04-01
- 机器学习与数据科学博士生系列论坛（第八十四期）—— Dynamic Contract Design in Principal-Agent Markov Decision Process 2025-03-20
- 组合恒等式的机器证明 2025-03-19
- 机器学习与数据科学博士生系列论坛（第八十四期）—— Beyond Value Functions, Optimizing General Functionals of MDP with Distributional RL 2025-03-06
- Applied Mathematics Seminar——Towards Robust Deep Learning: Risk-Averse Certification and High-Confidence Error Detection 2025-03-19
- Sparse Polynomial Optimization For Finite Abelian Groups and Binary Neural Networks Verification 2025-02-21
- Applied Mathematics Seminar——基于形式化验证的神经网络修复技术 2025-02-26
- 机器学习与数据科学博士生系列论坛（第八十三期）—— Analyzing the Behavior of Neural Networks with Feature Learning Theory 2025-01-09
- 机器学习与数据科学博士生系列论坛（第八十二期）—— Lower Bounds for Log-concave Sampling 2024-12-26
- 字符串约束求解器OSTRICH: 倒着走的智慧 2024-12-19
- 机器学习与数据科学博士生系列论坛（第八十一期）—— Matrix Concentration Inequality and Free Probability 2024-12-12
- Applied Mathematics Seminar——密码电路故障注入安全性形式化验证 2024-12-11