Ambiguity Reduction in Natural Language Requirements through Autoformalization

Eunsuk Kang, Sam Procter, Teresa Fortes, Yining She

RExAI Workshop, co-located with NASA Formal Methods (NFM) 2026 · USC, Los Angeles, California

[PDF]