“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

You may create a conda environment using the environment.yml file. To run our code, have a look at the scripts directory. To run a given script you can just use bash, e.g. to use the Lovasz Extension ...