AkameV6p5/lean4-cot-3k
Viewer • Updated • 11
SOS Brigade
AkameV6p5
·
AI & ML interests
I want to create and use Local LLMs
Recent Activity
updated a model about 7 hours ago
AkameV6p5/Qwen-2.5-3B-Lean4-NativeBase published a model about 7 hours ago
AkameV6p5/Qwen-2.5-3B-Lean4-NativeBase updated a dataset about 23 hours ago
AkameV6p5/lean4-cot-3kOrganizations
None yet