bubble-07 / fetish-rs Goto Github PK

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 [email protected] if you would like to contribute to this research project, and we can arrange for an initial conversation.