NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
Chenyang An
|
Zhibo Chen
|
Qihao Ye
|
Emily First
|
Letian Peng
|
Jiayun Zhang
|
Zihan Wang
|
Sorin Lerner
|
Jingbo Shang
|
Paper Details:
Month: August
Year: 2024
Location: Bangkok, Thailand
Venue:
ACL |
Citations
URL
No Citations Yet
https://huggingface
https://huggingface.co/KomeijiForce/
https://github.com/ucsd-atp/PropL
Field Of Study