Shaowei Lin

Shaowei Lin is a mathematician and machine learning researcher whose work spans singular learning theory, spiking neural networks and program synthesis. He serves as Chief Scientist at the Beneficial AI Foundation and helps lead BAIF’s AI‑assisted formal verification and vericoding research, including contributions to projects such as Signal Shot and the vericoding benchmark.

Personal Website

https://shaoweilin.github.io/

LinkedIn

-

Twitter / X

-

LessWrong

-

EA Forum

-

Organizations

Beneficial AI Foundation (BAIF)

Chief Scientist

Projects

No grants recorded.