search

gpoesia / minimo

Learning Formal Mathematics from Intrinsic Motivation
MIT License
9 stars 7 forks source link

Goal conditioning #9

Closed maharajamihir closed 2 weeks ago

maharajamihir commented 2 weeks ago

Implemented goal conditioning and the experiments.