Picture for Qihao Ye

Qihao Ye

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

Apr 10, 2024
Viaarxiv icon