ellietheorem/goedel-prover-v2-8b-lf-sft
Text Generation • 8B • Updated
Elliott Slaughter
ellietheorem
·
AI & ML interests
None yet
Recent Activity
updated a model about 2 hours ago
ellietheorem/goedel-prover-v2-8b-lf-sft published a model about 2 hours ago
ellietheorem/goedel-prover-v2-8b-lf-sftOrganizations
datasets 0
None public yet