search

openai / lean-gym

Apache License 2.0
150 stars 31 forks source link

Support for `init_search` and `clear_search` #3

Closed spolu closed 3 years ago