Jia Li

DiffTester: Accelerating Unit Test Generation for Diffusion LLMs via Repetitive Pattern

FeatBench: Evaluating Coding Agents on Feature Implementation for Vibe Coding

PSC: Efficient Grammar-Constrained Decoding via Parser Stack Classification

EvoCoT: Overcoming the Exploration Bottleneck in Reinforcement Learning for LLMs

Improving Formal Reasoning of Transformer with State Stack

Reasoning is Periodicity? Improving Large Language Models Through Effective Periodicity Modeling

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning

Fourier Analysis Network

Generating Equivalent Representations of Code By A Self-Reflection Approach

FAN: Fourier Analysis Networks