Ммм челы рассказывают как потюнили 4b модельку теоремки доказывать QED-Nano:…

Ммм челы рассказывают как потюнили 4b модельку теоремки доказывать QED-Nano: Teaching a Tiny Model to Prove Hard Theorems https://huggingface.co/spaces/lm-provers/qed-nano-blogpost