讲座
- 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
- 机器学习实验室博士生系列论坛（第十二期）—— Reinforcement Learning with Observational Data: A Causal Perspective 2021-08-18
- 机器学习实验室博士生系列论坛（第十一期）—— The Gradient Complexity of First-Order Methods for Smooth Minimax Optimization 2021-08-04
- 机器学习实验室博士生系列论坛（第十期）—— Distributional Perspective on Reinforcement Learning 2021-07-21
- Information Sciences Seminar——Deeper Cooperation of CDCL and Local Search for SAT 2021-07-08
- 机器学习实验室博士生系列论坛（第九期）—— Off-Policy Evaluation: Problem and Methods 2021-07-07
- 机器学习实验室博士生系列论坛（第八期）—— Out-of-Distribution Generalization via Invariant Learning 2021-06-23
- 机器学习实验室博士生系列论坛——On the continuous-time dynamics of optimization methods: theory and insights 2021-06-09