dots123/theorem-engine-v3-training-data
Viewer • Updated • 8k • 38
Zeyan Yin
dots123
AI & ML interests
None yet
Recent Activity
updated a model 14 days ago
dots123/qwen-7b-theorem-engine-v3-mlx-q4 updated a model 14 days ago
dots123/qwen-7b-theorem-engine-v3 updated a dataset 14 days ago
dots123/theorem-engine-v3-training-dataOrganizations
None yet