About

I am a mathematician working on the statistical learning theory of spiking neural networks and on dependent type theories for machine reasoning.

Identity

• PURL https://w3id.org/people/shaoweilin

• ORCID 0000-0002-8176-8868

Biography

• Curriculum Vitae

• LinkedIn

Publications

• Google Scholar

• ResearchGate

• arXiv Preprints

Writings

• Blog

• PhD Thesis

• Singular Learning

• Personal Blog

Talks

• Proofs as programs

• Neural-symbolic reasoning

• Internet of things

• Singular learning

Software

• Graphical Models

• Tropical Secants

• Integral Asymptotics

• Principal Minors

• Exact Integration

• Legendrian Knots

Students

• 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)

Contact

• shaoweilin × research + gmail × com

Website. I was inspired by Chris Holdgraf’s MyST-based site. My code was modified from his.