VERIFY: A Novel Multi-Domain Dataset Grounding LTL in Contextual Natural Language via Provable Intermediate Logic - Quansah, Paapa; Rivas, Pablo; Bonnah, Ernest (International Conference on Learning Representations, 2026)