Items where authors include "Valentino, M."

Proceedings Paper

Quan, X., Valentino, M., Dennis, L.A. et al. (1 more author) (2025) Faithful and robust LLM-driven theorem proving for NLI explanations. In: Che, W., Nabende, J., Shutova, E. and Pilehvar, M.T., (eds.) Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 27 Jul - 01 Aug 2025, Vienna, Austria. Association for Computational Linguistics , pp. 17734-17755. ISBN 9798891762510

Ranaldi, L., Valentino, M. and Freitas, A. (2025) Improving Chain-of-Thought reasoning via Quasi-Symbolic Abstractions. In: Che, W., Nabende, J., Shutova, E. and Pilehvar, M.T., (eds.) Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 27 Jul - 01 Aug 2025, Vienna, Austria. Association for Computational Linguistics , pp. 17222-17240. ISBN 9798891762510

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

Kim, G., Valentino, M. and Freitas, A. (2025) Reasoning circuits in language models: a mechanistic interpretation of syllogistic inference. In: Che, W., Nabende, J., Shutova, E. and Pilehvar, M.T., (eds.) Findings of the Association for Computational Linguistics: ACL 2025. 63rd Annual Meeting of the Association for Computational Linguistics (ACL 2025), 27 Jul - 01 Aug 2025, Vienna, Austria. Association for Computational Linguistics , pp. 10074-10095. ISBN 9798891762565

Madusanka, T., Valentino, M., Zahid, I. et al. (2 more authors) (2025) Unravelling the logic: Investigating the generalisation of Transformers in numerical satisfiability problems. In: Che, W., Nabende, J., Shutova, E. and Pilehvar, M.T., (eds.) Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 27 Jul - 01 Aug 2025, Vienna, Austria. Association for Computational Linguistics , pp. 25155-25168. ISBN 9798891762510