Elliott Slaughter
ellietheorem
ยท
AI & ML interests
None yet
Recent Activity
updated a model about 20 hours ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v5 published a model about 20 hours ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v5 updated a model 2 days ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v4Organizations
