Items where authors include "Quan, X."

Article

Papadopulos, A.S.T., Igea, J., Dunning, L.T. orcid.org/0000-0002-4776-9568 et al. (8 more authors) (2019) Ecological speciation in sympatric palms : 3. Genetic map reveals genomic islands underlying species divergence in Howea. Evolution, 73 (9). pp. 1986-1995. ISSN 0014-3820

Dunning, L.T., Hipperson, H., Baker, W.J. et al. (9 more authors) (2016) Ecological speciation in sympatric palms: 1. Gene expression, selection and pleiotropy. Journal of Evolutionary Biology. ISSN 1010-061X

Cornetti, L., Valente, L.M., Dunning, L.T. et al. (4 more authors) (2015) The Genome of the "Great Speciator" Provides Insights into Bird Diversification. Genome Biology and Evolution, 7 (9). pp. 2680-2691. ISSN 1759-6653

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

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