Sleeping proof2weights verified-arithmetic LLM 🔢 Generate verified answers to your questions using a math‑checked LLM