MeiDeShuo

community

Request to join this org

AI & ML interests

LLM for Automated Theorem Proving & Coding

models

None public yet

datasets 4

nts-ai/mistral-curriculum-hard-to-easy-sft-iter1

Viewer • Updated Aug 14 • 8.87k • 36

nts-ai/mistral-all-sft-iter1

Viewer • Updated Aug 14 • 26.6k • 44

nts-ai/codellama-instruct-mining-eval

Viewer • Updated Aug 7 • 2.16k • 39

nts-ai/mistral-7B-mining-sft-iter1

Viewer • Updated Aug 5 • 12.4k • 37 • 1