I am a mathematician working on the statistical learning theory of spiking neural networks and on dependent type theories for machine reasoning.
- Graphical Models
- Tropical Secants
- Integral Asymptotics
- Principal Minors
- Exact Integration
- Legendrian Knots
- 2023: Tenzin CHAN (thesis; with Dewen Soh, Chris Hillar)
- 2022: Jin Xing LIM (thesis; with Georgios Piliouras)
- 2020: Gary PHUA (thesis; with Dario Poletti)
- 2020: Aik Beng NG (thesis; with Simon See)
- 2020: Zhangsheng LAI (thesis; with Simon See)
- 2019: Zackary XUEREB CONTI (thesis; with Sawako Kaijima, Sam Conrad Joyce)
- 2019: Zuozhu LIU (thesis; with Tony Quek)
- 2017: Mohammad ABU ALSHEIKH (thesis; with Hwee-Pink Tan, Dusit Niyato)
- shaoweilin × research + gmail × com
Website. I was inspired by Chris Holdgraf's MyST-based site. My code was modified from his.