Goedel-LM/Goedel-Prover-SFT
7B • Updated • 246 • 31
Pratik Deshmukh
ludwigw
AI & ML interests
None yet
Recent Activity
updated a model 11 days ago
ludwigw/trm-mnist-baseline updated a model 11 days ago
ludwigw/trm-mnist-ibp-eps001Organizations
None yet
liked a
model over 1 year ago