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 [crate::context::Context] and
[crate::interpreter_and_embedder_state::InterpreterAndEmbedderState]
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 ajg137@case.edu if you would like to contribute to this research project, and we can arrange for an initial conversation.