2023年软件理论讨论班日程安排
注1： 自9月13日起，除特殊说明外，每次讨论班时间为周三下午13-15点。
注2：有意在讨论班做学术报告的校外学者请直接email联系：sunmeng@math.pku.edu.cn.
|
|
时间（Date）
|
地点（Place） |
报告题目（Title）
|
报告人 |
1 |
2023.2.22 |
1304 |
Seminar Plan |
|
2 |
2023.3.1 |
1304 |
1. 智能合约领域特定语言族及领域示范应用 2. RegLang：面向监管的智能合约编程语言 |
Jiashuo Zhang & JIanbo Gao (Boya RegChain) |
3 |
2023.3.8 |
1304 |
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks |
Xiaoyong Xue |
4 |
2023.3.15 |
1304 |
Guiding the Comparison of Deep Neural Network Local Robustness |
Hao Bu |
5 |
2023.3.22 |
1304 |
From Mediator to MSL |
Xiaokun Luan |
6 |
2023.3.29 |
1304（online） |
Wenchao Li (BU) |
|
7 |
2023.4.5 |
清明节，暂停一次。 |
||
8 |
2023.4.12 |
1304（online） |
Chuchu Fan (MIT) |
|
9 |
2023.4.19 |
1304 |
MedTiny |
Xiangyu Li |
10 |
2023.4.26 |
1304 |
kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks |
Xiaoyong Xue
Hao Bu |
11 |
2023.5.3 |
劳动节，暂停一次。 |
||
12 |
2023.5.10 |
1304 |
Branch and Bound for Sigmoid-like Neural Network Verification |
Xiaoyong Xue |
13 |
2023.5.17 |
1304 |
基于测试的机器学习系统安全加强 深度学习系统的覆盖测试与全局验证 Stellar共识协议的形式化建模与验证 |
卢煜腾 孙纬地 李忆 |
14 |
2023.5.24 |
1304（online） |
陈嘉弛 (中山大学) |
|
15 |
2023.5.31 (9:00-12:00) |
1304 |
Ph.D Thesis Defense |
Yuteng Lu & Weidi Sun |
16 |
2023.6.7 （14:00-16:00） |
1304 |
Certifying Semantic Robustness of Deep Neural Networks Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking |
Hao Bu |
17 |
2023.6.13 （10:00-12:00） |
1304 |
Xiaofei Xie (SMU) |
|
18 |
2023.7.6 （10:00-12:00） |
1304 |
Preimage Approximation for Neural Networks and Beyond |
Xiyue Zhang (University of Oxford) |
19 |
2023.9.13 |
1365 |
Seminar Plan |
|
20 |
2023.9.20 |
1569 |
Guiding the Comparison of Neural Network Local Robustness: An Empirical Study |
Hao Bu |
21 |
2023.9.27 |
1569 |
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
|
Xiaokun Luan |
22 |
2023.10.11 |
1569 |
Introduction to Static Analysis (I) MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms |
Yihao Zhang Xiangyu Li |
23 |
2023.10.18 |
1569 |
Introduction to Static Analysis (II) |
Tianze Lu & Guanzhang Yue |
24 |
2023.10.25 |
1569 |
Introduction to Static Analysis (III) |
Kaicheng Shao |
25 |
2023.11.1 |
LEDS出差开会，讨论班暂停一次。 |
||
26 |
2023.11.8 |
1569 |
Introduction to Static Analysis (IV) |
Guanzhang Yue |
27 |
2023.11.15 |
1569 |
Introduction to Static Analysis (V) & Branch and Bound for Sigmoid-like Neural Network Verification (ICFEM Practice Talk) |
Ziyun Xu & Xiaoyong Xue |
28 |
2023.11.16 |
SMT公式的求解与解计数 |
Feifei Ma (ISCAS) |
|
29 |
2023.11.22 |
1569 |
Introduction to Static Analysis (VI) & HeatC: A Variable-grained Coverage Criterion for Deep Learning Systems (SETTA Practice Talk) |
Xiaokun Luan |
30 |
2023.11.29 |
几何-209 |
Introduction to Static Analysis (VII) |
Tianze Lu |
31 |
2023.12.6 |
几何-209 |
AI Safety Issues |
Yihao Zhang |
31 |
2023.12.13 |
几何-209 |
基于抽象解释的神经网络验证 |
Liqian Chen (NUDT) |
31 |
2023.12.20 |
几何-209 |
MedTiny: A Language with Compiler Implementation for Formally Verifiable Software |
Xiangyu Li |
32 |
2023.12.27 |
几何-209 |
Magnushammer: A Transformer-based Approach to Premise Selection |
Wanyi He |
往年讨论班信息