6 projects
newclid
Symbolic solver for geometric problems.
hcraft
Lightweight environments to study hierarchical reasoning
hippogym
irll-crafting
Lightweight environments to study hierarchical reasoning
hebg
HEBG: Hierarchial Explainations of Behavior as Graph
learnrl
A package to learn about Reinforcement Learning