Tag
The article recounts the process of verifying exact samplers for continuous distributions using program logic in Rocq, detailing the challenges and innovations in the adequacy theorem for formal verification.
An exploration of the philosophical nature of real numbers, questioning their reality and foundations in mathematics.
Explores predicting which MoE experts will be used for the next token to improve CPU/GPU offloading, achieving 30->150-200 tg/s speedup, and questions the feasibility of implementation.