Nan Duan

Automated Proof Generation for Rust Code via Self-Evolution

Generative Pre-trained Autoregressive Diffusion Transformer

Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation

Frame-Level Captions for Long Video Generation with Complex Multi Scenes

Not All Tokens Are What You Need for Pretraining

ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving

CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing

CMMLU: Measuring massive multitask language understanding in Chinese

LayoutNUWA: Revealing the Hidden Layout Expertise of Large Language Models

Voila-A: Aligning Vision-Language Models with User's Gaze Attention

Exploring the Mystery of Influential Data for Mathematical Reasoning

Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistency

Voila-A: Aligning Vision-Language Models with User's Gaze Attention

Enhancing Chain-of-Thoughts Prompting with Iterative Bootstrapping in Large Language Models