Seminar 更多
- [2022-03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time
- [2021-12-23]JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inference at Baidu
- [2021-11-9]Constructive Bidirectional Programming
- [06-16] Deductive Verification of Smart Contracts
- [05-07]Safety Design and Verification of Learning-Enabled Cyber-Physical Systems
- [12-09] A Dynamical Aspect of D-finite Power Series