0
stars
3
commits
1
linked in READMEs
Jul 16, 2024
updated
2 commits
1 commits
kaiyuy/ct2-byt5-small
apapiu/small_ldt
2
IPADS-SAI/MobiMind-1.5-4B-0313
whaohan/bpt
9
Murphyyyy/UniSH
luping-liu/LongSD
haosad/fisvla
binxia/LLMGA-pretrained-mlp
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
1,322
