ellietheorem/goedel-prover-v2-8b-lf-sft-v4
Text Generation • 8B • Updated
Elliott Slaughter
ellietheorem
·
AI & ML interests
None yet
Recent Activity
updated a model about 16 hours ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v4 published a model about 16 hours ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v4 updated a model 1 day ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v2Organizations
updated a
model about 16 hours ago
published a
model about 16 hours ago
updated a
model 1 day ago
published a
model 1 day ago
updated a
model 1 day ago
published a
model 1 day ago