Research
Papers and public research artifacts. More as they ship.
Formal specification language reduces token usage by 29.8% (p<0.001) through indicator functions, structural overhead modeling, and early binding.
Code for UCL lives on GitHub. Profile: About · Projects.