BFS-Prover
Collection
LLM Step-Provers in Lean4
•
5 items
•
Updated
•
4
AI Release Week Thread (6 October 2025)
AI Release Week Thread (6 October 2025)
-
-
LiquidAI/LFM2-8B-A1B
Text Generation • 8B • Updated • 13.3k • 244 -
THU-KEG/DeepPrune-Judge-4B
Text Classification • Updated • 9 • 1 -
microsoft/skala
Updated • 2 -
ai21labs/AI21-Jamba-Reasoning-3B
Text Generation • 3B • Updated • 4.51k • 118 -
inclusionAI/Ling-1T
Text Generation • 1000B • Updated • 4.05k • • 511 -
microsoft/UserLM-8b
Text Generation • 8B • Updated • 4.01k • 344 -
bytedance-research/DynamicCoT
8B • Updated • 9 • 5 -
Kwaipilot/KAT-Dev-72B-Exp
Text Generation • 73B • Updated • 3.27k • 148 -
AgentFlow/agentflow-planner-7b
8B • Updated • 592 • 54