search

gpoesia / minimo

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

fixed rediscovering trivial conjectures #16

Open maharajamihir opened 1 day ago

maharajamihir commented 1 day ago

The current implementation allows the model to rediscover already proven conjectures because we compare the raw proposal against the proven_conjectures variable, which contains conjectures that have been contracted.