Autonomous Theorem Prover for First Order Predicate Logic
GNOme - Glycan Naming and Subsumption Ontology.
Code for Autnomous Car built for Bosch Future Mobility Challenge 2022. (Subsumption AI, Yolo V8, Computer Vision for Lane Keeping, Multiprocessing and Pub Sub)
A simple method of obstacle avoidance in LeJOS, using subsumption.
Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
Ontology Domain Subsumption A package for enforcing domain subsumption constraints on inserts and updates issued to an arbitrary NoSQL database.
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.
To associate your repository with the subsumption topic, visit your repo's landing page and select "manage topics."