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

LRM
ELM
Re-assign community