Picture for Ruobing Zuo

Ruobing Zuo

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization

Add code
Feb 25, 2025
Viaarxiv icon