Picture for Nan Duan

Nan Duan

Automated Proof Generation for Rust Code via Self-Evolution

Add code
Oct 21, 2024
Viaarxiv icon

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation

Add code
Oct 21, 2024
Viaarxiv icon

AutoDirector: Online Auto-scheduling Agents for Multi-sensory Composition

Add code
Aug 21, 2024
Viaarxiv icon

Rho-1: Not All Tokens Are What You Need

Add code
Apr 11, 2024
Figure 1 for Rho-1: Not All Tokens Are What You Need
Figure 2 for Rho-1: Not All Tokens Are What You Need
Figure 3 for Rho-1: Not All Tokens Are What You Need
Figure 4 for Rho-1: Not All Tokens Are What You Need
Viaarxiv icon

LVLM-Intrepret: An Interpretability Tool for Large Vision-Language Models

Add code
Apr 03, 2024
Viaarxiv icon

Exploring the Mystery of Influential Data for Mathematical Reasoning

Add code
Apr 01, 2024
Figure 1 for Exploring the Mystery of Influential Data for Mathematical Reasoning
Figure 2 for Exploring the Mystery of Influential Data for Mathematical Reasoning
Figure 3 for Exploring the Mystery of Influential Data for Mathematical Reasoning
Figure 4 for Exploring the Mystery of Influential Data for Mathematical Reasoning
Viaarxiv icon

PPTC-R benchmark: Towards Evaluating the Robustness of Large Language Models for PowerPoint Task Completion

Add code
Mar 06, 2024
Viaarxiv icon

Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning

Add code
Mar 04, 2024
Viaarxiv icon

Using Left and Right Brains Together: Towards Vision and Language Planning

Add code
Feb 16, 2024
Viaarxiv icon

StrokeNUWA: Tokenizing Strokes for Vector Graphic Synthesis

Add code
Jan 30, 2024
Viaarxiv icon