ThePrimeClock

• QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

  Posted by ThePrimeClock@reddit | LocalLLaMA | View on Reddit | 2 comments

• Fine-tuning for Lean

  Posted by ThePrimeClock@reddit | LocalLLaMA | View on Reddit | 7 comments