Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework

Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework

Yuan Xia
Akanksha Atrey
Fadoua Khmaissia
Kedar S. Namjoshi

Papers citing "Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework"

Title
No papers