# Summary of supplementary material
We have organised our code into 2 directories, `3dprover` and `internlm`. 

The `3dprover` directory contains the majority of our code and experiments, including details for 
setting up the environment, replicating the transition model results and all ReProver based experiments.

The `internlm` directory contains more recent code and experiments for InternLM2.5-Step-Prover, which we have separated as 
it uses Lean 4, with a newer version of LeanDojo (2.2.0) and a different model (InternLM).

We recommend to start with the README in the `3dprover` directory.
