Auto-formalized versions of GSM8K and MATH500 auto-formalized and filtered with Goedel models
Ujan PRO
Ujan
·
AI & ML interests
NLP, Speech
Recent Activity
updated a bucket 24 days ago
Ujan/self-distill-checkpoints updated a bucket 27 days ago
Ujan/self-distill-checkpoints published a bucket 2 months ago
Ujan/self-distill-checkpointsOrganizations
