The  LGTM
  • Home
  • Agentic Coding
  • Claude Code
  • Codex
Sign in Subscribe

diffusion LLM

A collection of 2 posts
Diffusion LLMs May Have Found Their Best First Job: Fixing Formal Proofs
ai-models

Diffusion LLMs May Have Found Their Best First Job: Fixing Formal Proofs

Diffusion language models have spent the last year looking for a job description better than “what if chat completion, but stranger?” Diffusion-Proof gives them one that actually fits: formal proof repair. Not general conversation. Not replacing autoregressive models across the board. A narrow, verifier-guided domain where bidirectional infilling is not
18 Jun 2026 4 min read
d-OPSD Gives Diffusion LLMs a Post-Training Recipe That Does Not Pretend They Decode Left-to-Right
ai-models

d-OPSD Gives Diffusion LLMs a Post-Training Recipe That Does Not Pretend They Decode Left-to-Right

Diffusion language models keep getting discussed as if they are autoregressive models with a different decoding costume. That shortcut is convenient, but it breaks down the moment you try to post-train them seriously. d-OPSD, short for on-policy self-distillation for diffusion LLMs, is worth covering because it starts from the obvious-but-often-ignored
17 Jun 2026 3 min read
Page 1 of 1
The LGTM © 2026
  • Sign up
Powered by Ghost