Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving. - Chenyang An; Zhibo Chen 009; Qihao Ye; Emily First; Letian Peng; Jiayun Zhang; Zihan Wang 001; Sorin Lerner; Jingbo Shang (ACL (1), 2024)

Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generation. - Chenyang An; Shima Imani; Feng Yao; Chengyu Dong; Ali Abbasi 008; Harsh Shrivastava 001; Samuel Buss; Jingbo Shang; Gayathri Mahalingam; Pramod Sharma; Maurice Diesendruck (CoRR, 2024)

Diffusion-Augmented Coreset Expansion for Scalable Dataset Distillation. - Ali Abbasi 008; Shima Imani; Chenyang An; Gayathri Mahalingam; Harsh Shrivastava 001; Maurice Diesendruck; Hamed Pirsiavash; Pramod Sharma; Soheil Kolouri (CoRR, 2024)

Correlation and Navigation in the Vocabulary Key Representation Space of Language Models. - Letian Peng; Chenyang An; Jingbo Shang (ICLR, 2025)

Linear Correlation in LM's Compositional Generalization and Hallucination. - Letian Peng; Chenyang An; Shibo Hao; Chengyu Dong; Jingbo Shang (CoRR, 2025)

The Price of Format: Diversity Collapse in LLMs. - Longfei Yun; Chenyang An; Zilong Wang 002; Letian Peng; Jingbo Shang (CoRR, 2025)