@inproceedings{zocca-2023-natural,
    title = "Natural Language Annotations for Reasoning about Program Semantics",
    author = "Zocca, Marco",
    editor = "Bouamor, Houda  and
      Pino, Juan  and
      Bali, Kalika",
    booktitle = "Findings of the Association for Computational Linguistics: EMNLP 2023",
    month = dec,
    year = "2023",
    address = "Singapore",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2023.findings-emnlp.601/",
    doi = "10.18653/v1/2023.findings-emnlp.601",
    pages = "8961--8966"
}