Car-pe issues

Repositories
Issues
Comments

Results 3 issues of


                                            Car-pe

Got NaN eval loss when I set the training batch size to 2.

Hello, I just ran your project through your script, but when I set the batch size to 2, the eval loss is NaN. And when I increase the batch size...

Can not evalate

Hello, when I tried to reproduce your results by running bash proofsearch.sh, I encountered the following error while initializing Lean-Dojo. My Lean-Dojo version is 1.1.2. Is there anything wrong? "ExtractData.lean:375:10:...

AttributeError: Qwen2Tokenizer has no attribute tokenizer

Thank you for your great work, But I just encounter this error "AttributeError: Qwen2TokenizerFast has no attribute tokenizer" during training. I install the environment through: git clone https://github.com/OpenRLHF/OpenRLHF.git cd OpenRLHF...