Items where authors include "Dalal, D."

Proceedings Paper

Quan, X., Valentino, M., Carvalho, D. et al. (2 more authors) (2025) PEIRCE: Unifying material and formal reasoning via LLM-driven neuro-symbolic refinement. In: Mishra, P., Muresan, S. and Yu, T., (eds.) Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations). 63rd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations), 27 Jul - 01 Aug 2025, Vienna, Austria. Association for Computational Linguistics , pp. 11-21. ISBN 9798891762534