Quansah, Paapa Kwesi

1 publications

ICLR 2026 VERIFY: A Novel Multi-Domain Dataset Grounding LTL in Contextual Natural Language via Provable Intermediate Logic Paapa Kwesi Quansah, Pablo Rivas, Ernest Bonnah