01
About
Hi! I'm Wei.
I'm a PhD student at Columbia.
I do philosophy of AI: I try to work on problems in AI that might be interesting to philosophers, and problems in philosophy that might be interesting to AI researchers.
02
Publications
01
Building a Correct-by-Design Lakehouse for Humans and Agents
We show how typed table contracts, Git-like data versioning, and transactional pipeline execution can make illegal states unrepresentable and avoid partial effects.
03
Blog
Apr 2026
Sanity Checks for Distributed Alignment Search
DAS is one of the more promising methods in the causal interpretability toolkit. I ran three randomization-based sanity checks on the MoNLI experiment.
04
Contact
Email
ws2720@columbia.edu
GitHub
github.com/shengweiming