David Smith Sundarsingh

1. ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
   2025/04/22 by David Smith Sundarsingh, Jun Wang, Wang, Jun +5 · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Natural Language Processing Techniques #Robotics (cs.RO) #Topic Modeling