subsumption
Region embeddings for entailment and set containment
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.
Type inference for transformation algebras.
A library for type inference and graph production.
