Lib.rs

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.

lib.rs:

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.