讲座
- 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
- 机器学习实验室博士生系列论坛——Adversarial Attacks and Robustness in DRL 2021-05-26
- Information Sciences Seminar——区块链安全挑战及分析技术 2020-12-24
- Information Sciences Seminar——椭球排列的完全分类及快速判定 2020-04-30
- Information Sciences Seminar——Towards Interpretable Fingerprinting against Social Media Pages 2019-12-20
- Information Sciences Seminar——Compositional Techniques for the Verification of a Separation Micro-Kernel for Multi-Core Architectures 2019-12-11
- Information Sciences Seminar——A Reo Model of Software Defined Networks 2019-11-20
- Information Sciences Seminar——海洋温度和深度共同测量系统的开发与应用 2019-11-18