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