Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Beyond Block Boundaries: Multi-Block Editing for Diffusion Large Language Models
Xingyu Mou, Zijin Huang, Tianze Zhang +5
Block diffusion is the dominant approach for scaling discrete diffusion language models (dLLMs), as fixed-size blocks preserve parallel decoding while keeping quadratic attention c…
cs.AI2025
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
Yuchen Tian, Ruiyuan Huang, Xuanwu Wang +6
Large Language Models (LLMs) for formal theorem proving have shown significant promise, yet they often lack generalizability and are fragile to even minor transformations of proble…