@inproceedings{quansah2026verify,
  title     = {VERIFY: A Novel Multi-Domain Dataset Grounding LTL in Contextual Natural Language via Provable Intermediate Logic},
  author    = {Paapa Kwesi Quansah and Pablo Rivas and Ernest Bonnah},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year      = {2026},
  url       = {https://openreview.net/forum?id=NChBLvOr7I},
  month     = {Apr},
  pages     = {1--37}
}