This is a gigantic WIP.
The library allows you to create neurosymbolic programs that allow for symbolic manipulation integrated with gradient-based learning on data.
Neurosybolic programs have usually involved one or more of the following:
- Learning programs from data
- Learning programs from natural language
This library will facilitate learning abstract programs that incorporate statistical learning into higher-order reasoning.
- Programs
- Variables
- Operations (on variables)
- Instances (of variables)
- Bindings (between instances of variables)
[TBD]