Elliott Slaughter
ellietheorem
ยท
AI & ML interests
None yet
Recent Activity
updated a model about 22 hours ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v4 published a model about 22 hours ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v4 updated a model 1 day ago
ellietheorem/goedel-prover-v2-8b-lf-sft-v2Organizations
