gpoesia / minimo

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

Log logprobs #11

Closed maharajamihir closed 1 week ago

maharajamihir commented 1 week ago

Added logging of the log-probs to that we can compare if goal-conditioning adds more 'difficulty' to the problems. Should result in similar graphs as Figure 2. in the minimo paper.