BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving https://arxiv.org/abs/2502.03438 https://www.alphaxiv.org/overview/2502.03438 https://huggingface.co/ByteDance-Seed/BFS-Prover-V1-7B
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem…
0 viewsОткрыть в Telegram →
Из этого канала
- #5967https://github.com/researchim-ai/re-rl заехало
https://github.com/researchim-ai/re-rl заехало
- #5968I trained a 1.8M params model from scratch on a total of ~40M tokens.…
I trained a 1.8M params model from scratch on a total of ~40M tokens.…
- #5969надо в модельки дома затащить)
надо в модельки дома затащить)
- #5964https://huggingface.co/datasets/internlm/Lean-Github
https://huggingface.co/datasets/internlm/Lean-Github
- #5963Я хочу вообще многие подходы в резульате засунуть. это только одна штука
Я хочу вообще многие подходы в резульате засунуть. это только одна штука