BFS-Prover-V2-7B
BFS-Prover-V2: масштабирование многооборотного RL и многоагентного поиска по дереву для LLM Step-Provers Мы представляем BFS-Prover-V2, современную систему доказательства...
Метка: step-prover
BFS-Prover-V2-32B
BFS-Prover-V2: масштабирование многооборотного RL и многоагентного поиска по дереву для LLM Step-Provers Мы представляем BFS-Prover-V2, современную систему доказательства...