3 ms·Combinatorial Identities and Theorems Dataset for LLM Finetuning2 points by muragekibicho 2y ago