Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
End-to-end prime factorization in a generative LM. 40M-param GPT that learns algebraically verifiable prime-factor signatures at negligible language cost (+1.7% PPL). Paper (Zenodo) + triadic-head (PyPI) + reptimeline.
Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
