Goedel-LM/Goedel-Prover-SFT
7B • Updated • 1.02k • 28
Pratik Deshmukh
ludwigw
·
AI & ML interests
None yet
Recent Activity
updated a dataset 9 days ago
ludwigw/causal-reasoning-benchmarks published a dataset 9 days ago
ludwigw/causal-reasoning-benchmarks updated a model 9 days ago
ludwigw/gemma-dseparation-baselineOrganizations
None yet
liked a
model about 1 year ago