vix.ing · top · new · best · stats · spec

DiMarco, Clara

  1. The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems
    2025/05/07 by Tithi, Sutapa Dey, Ramesh, Arun Kumar, DiMarco, Clara +4 · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences