讲座
- 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
- 机器学习与数据科学博士生系列论坛（第八十期）——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