Works
Tools and research artifacts that grew out of questions.
Sheaf Bandwidth
An Auto Research experiment using MRI as its setting
This is an inspectable open-source research artifact, including a paper, Lean formalization, and numerical reproduction. It does not imply that its author has expertise in MRI or mathematics, nor does it claim clinical validation.
View the open-source repository βXue Jing Fang
A classical-formula learning tool based on explaining classics through classics
A small tool for studying classical formulas, rooted in the idea of letting the classics explain the classics. All content comes from the classical texts themselves. It provides structured passages, formulas, medicinals, patterns, and pulses from the Shang Han Lun, Jin Gui Yao Lue, and Shen Nong Ben Cao Jing for lookup, relational analysis, and study. It is for anyone studying or researching classical formulas and Shang Han medicine.
