Apr 26, 2025

1. 22:26

   get rid of ccp nonsense

   aggr
   Verified signature

   3a3731b
2. 21:52

   Rename generation_config(1).json to generation_config.json

   aggr
   Verified signature

   1dbcd25
3. 21:52

   Update generation_config(1).json

   aggr
   Verified signature

   2a3b3ce
4. 21:51

   Upload generation_config(1).json

   aggr
   Verified signature

   347a289
5. 21:50

   Duplicate from deepseek-ai/DeepSeek-Prover-V1.5-RL⁠

   aggr +1: zqh11
   Verified signature

   700e272