Goedel-LM/Goedel-Prover-SFT
7B • Updated • 425 • 30
Pratik Deshmukh
ludwigw
·
AI & ML interests
None yet
Recent Activity
updated a model 14 days ago
ludwigw/trm-cifar10-pgd published a model 14 days ago
ludwigw/trm-cifar10-pgd updated a model 14 days ago
ludwigw/beluga-trm-105mOrganizations
None yet
liked a
model over 1 year ago