Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation.

Himaja Cherukuri, Alessio Ferrari, Paola Spoletini

Browse the full REFSQ paper archive.