2025年软件理论讨论班日程安排
注1：2025年春季学期讨论班时间未特别说明均为周三上午10:00-12:00。
注2：有意在讨论班做学术报告的校外学者请直接email联系：sunmeng@math.pku.edu.cn。
|
|
时间（Date）
|
地点（Place） |
报告题目（Title）
|
报告人 |
1 |
2025.2.19 |
知无涯-313 |
注意力视角下的越狱攻击 Seed Selection for Testing Deep Neural Networks |
邬程灿 岳关璋 |
2 |
2025.2.26 |
知无涯-313 |
王竟亦 (浙江大学) |
|
3 |
2025.3.5 |
知无涯-313 |
What is, Why do we need and How to do: Causality-Based Modeling |
张益豪 |
4 |
2025.3.12 |
知无涯-313 |
Robust and Efficient Watermarking of Large Language Models Using Error Correction Codes Knowledge Based Model Editing |
栾晓坤 岳关璋 |
5 |
2025.3.19 |
知无涯-313 |
张喜悦 (University of Bristol)
|
|
6 |
2025.3.26 |
知无涯-313 |
MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability
|
栾晓坤
|
7 |
2025.4.2 |
知无涯-313 |
TacticZero
|
徐紫云
|
8 |
2025.4.9 |
知无涯-313 |
State-based Model Extraction from Transformers
|
张益豪
|
9 |
2025.4.16 |
知无涯-313 |
Mutation Testing of In-context Learning Systems
|
岳关璋
|
10 |
2025.4.23 |
知无涯-313 |
Algorand MedTiny Function to SMTLib |
孙涌畅 李翔宇 |
11 |
2025.4.25 |
知无涯-313 |
曹嘉伦（HKUST）
|
|
12 |
2025.4.30 |
知无涯-313 |
Diverse Structured Generation
|
栾晓坤
|
13 |
2025.5.13 |
知无涯-313 |
MedTiny Implementation Overview / Implications
|
李翔宇
|
14 |
2025.5.21 |
知无涯-313 |
深度神经网络的语义鲁棒性
|
卜昊
|
15 |
2025.5.28 |
知无涯-313 |
卜昊博士学位论文答辩
|
|
16 |
2025.6.4 |
往年讨论班信息