Picture for David Smith Sundarsingh

David Smith Sundarsingh

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees

Add code
Apr 22, 2025
Viaarxiv icon