Picture for Chenyang An

Chenyang An

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

Apr 10, 2024
Viaarxiv icon