Biochemist turned independent researcher. I build navigation tools for structured spaces— ML model discovery, theorem proving, code specification. Domain knowledge is the architecture.