RepublicOfKorokke/GLM-4.7-Flash-REAP-23B-A3B-mlx-nvfp4 Text Generation • 23B • Updated about 1 month ago • 619 • 3
Running Featured 57 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 57 Who needs 1T parameters? Olympiad proofs with a 4B model