Jiacheng Sun

Beyond Masks: Efficient, Flexible Diffusion Language Models via Deletion-Insertion Processes

Variational Autoencoding Discrete Diffusion with Enhanced Dimensional Correlations Modeling

Mathesis: Towards Formal Theorem Proving from Natural Languages

ProofAug+: Boosting Reinforcement Learning for LLM Theorem Provers with Conditioned Proof Repair

Any-Order GPT as Masked Diffusion Model: Decoupling Formulation and Architecture

Object-AVEdit: An Object-level Audio-Visual Editing Model

Masked Diffusion Models as Energy Minimization

FUDOKI: Discrete Flow-based Unified Understanding and Generation via Kinetic-Optimal Velocities

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis

Your Absorbing Discrete Diffusion Secretly Models the Conditional Distributions of Clean Data

The Buffer Mechanism for Multi-Step Information Reasoning in Language Models