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 • 10.2k • 221 -
THU-KEG/DeepPrune-Judge-4B
Text Classification • Updated • 43 • 1 -
microsoft/skala
Updated -
ai21labs/AI21-Jamba-Reasoning-3B
Text Generation • 3B • Updated • 4.39k • 112 -
inclusionAI/Ling-1T
Text Generation • 1000B • Updated • 3.87k • • 477 -
microsoft/UserLM-8b
Text Generation • 8B • Updated • 4.27k • 328 -
bytedance-research/DynamicCoT
8B • Updated • 13 • 4 -
Kwaipilot/KAT-Dev-72B-Exp
Text Generation • 73B • Updated • 2.94k • 139 -
AgentFlow/agentflow-planner-7b
8B • Updated • 452 • 48