https://huggingface.co/datasets/internlm/Lean-Github

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving https://arxiv.org/abs/2502.03438…

https://github.com/researchim-ai/re-rl заехало

I trained a 1.8M params model from scratch on a total of ~40M tokens.…

Я хочу вообще многие подходы в резульате засунуть. это только одна штука

тесчу во всю полученную штуку в целом генерит много