Goedel-LM/Goedel-Prover-SFT
7B • Updated • 246 • 30
Pratik Deshmukh
ludwigw
·
AI & ML interests
None yet
Recent Activity
updated a dataset 4 days ago
ludwigw/causal-reasoning-benchmarks updated a model 4 days ago
ludwigw/gemma-dseparation-semantic-v2 updated a model 4 days ago
ludwigw/gemma-transitivity-baselineOrganizations
None yet
liked a
model about 1 year ago