Functional Embedding of Terms In a Spatial Hierarchy
A library for an active research project which implements a small, yet extensible interpreter for a simply-typed combinator-based language, along with a mechanism for deriving embeddings (in the machine learning sense) for terms of each type in the language.
For starting points on this library, see the Rustdoc on
For a description of what exactly is implemented, see https://github.com/bubble-07/FETISH-RS/blob/master/FETISH.pdf
Or, alternatively, check out the talk at this link: https://drive.google.com/file/d/1BrbJivs-VohTdji8Y7C4-O7xTWdugQ78/view?usp=sharing
Please notify email@example.com if you would like to contribute to this research project, and we can arrange for an initial conversation.