@inproceedings{lopez-ponce-etal-2026-gil, title = "{GIL}-{Z}aragoza at {S}em{E}val 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning Capabilities", author = "Lopez-Ponce, Francisco and Pitarch, Lucia and Saavedra Mart{\'i}nez, Iv{\'a}n and Huitzil, Ignacio and Ojeda Trueba, Sergio and Bobillo, Fernando and Bel-Enguix, Gemma", editor = "Kochmar, Ekaterina and Ghosh, Debanjan and North, Kai and Komachi, Mamoru", booktitle = "Proceedings of the 20th {I}nternational {W}orkshop on {S}emantic {E}valuation (2026)", month = jul, year = "2026", address = "San Diego, California, USA", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/ingest-acl-workshops/2026.semeval-1.308/", pages = "2438--2446", ISBN = "979-8-89176-414-9" }