Khmaissia, Fadoua

1. Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
   2025/04/28 by Yuan Xia, Akanksha Atrey, Xia, Yuan +5 · 1 voice · 2 citations
   Computer Science · #Natural Language Processing Techniques #Topic Modeling #Formal Methods in Verification