讲座
- Information Sciences Seminar——Causality-based Neural Network Repair 2022-03-02
- 机器学习实验室学术报告——解读AI技术的应用进展 2022-01-07
- 机器学习实验室博士生系列论坛（第二十二期）——Recent Progress on the Theory of Robust MDPs 2022-01-05
- 机器学习实验室博士生系列论坛（第二十一期）——Understanding the shallow neural networks under the teacher-student setting. 2021-12-22
- 机器学习实验室博士生系列论坛（第二十期）——Sample constraint satisfaction solutions 2021-12-08
- 机器学习实验室博士生系列论坛（第十九期）——Instrumental variables and LATE in causal learning 2021-11-24
- 机器学习实验室博士生系列论坛（第十八期）——Recent Progress on the Explicit Superlinear Convergence Rates of Quasi-Newton Methods 2021-11-10
- Information Sciences Seminar——Extracting automata from neural networks using active learning 2021-11-05
- 机器学习实验室博士生系列论坛（第十七期）——Recent Progress on Machine Learning Approaches for Combinatorial Optimization 2021-10-27
- Information Sciences Seminar——Symbolic Execution Oriented Constraint Solving 2021-10-21
- 机器学习实验室博士生系列论坛（第十六期）—— Recent Progress on Non-Autoregressive Machine Translation 2021-10-13
- Information Sciences Seminar——Latticed k-Induction with an Application to Probabilistic Programs 2021-10-11
- Information Sciences Seminar——On-the-fly Synthesis for LTL over Finite Traces 2021-10-28
- 机器学习实验室博士生系列论坛（第十五期）—— Recent Progress on Generative Modeling 2021-09-29
- Information Sciences Seminar——Linear Approximation Approaches for Formal Verification of Deep Neural Networks and Their Tightness 2021-10-14
- 机器学习实验室博士生系列论坛（第十四期）—— Fairness in Machine Learning: Definition, Evaluation and Mitigation 2021-09-15
- Information Sciences Seminar——Identifying Privacy Weaknesses from IoT Trigger-action Platforms 2021-09-23
- Information Sciences Seminar——K程序语言框架的可信化 2021-09-30
- 机器学习实验室博士生系列论坛（第十三期）—— Implicit bias and implicit acceleration in deep learning 2021-09-01
- Information Sciences Seminar——BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks 2021-09-16