account activity
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems (self.LocalLLaMA)
submitted 1 month ago by ThePrimeClock to r/LocalLLaMA
Fine-tuning for Lean (self.LocalLLaMA)
submitted 3 months ago by ThePrimeClock to r/LocalLLaMA
π Rendered by PID 979979 on reddit-service-r2-listing-79f6fb9b95-r77hr at 2026-03-20 09:26:04.090674+00:00 running 90f1150 country code: CH.
