Sleeping proof2weights verified-arithmetic LLM π’ Generate verified answers to your questions using a mathβchecked LLM