Personal information

No personal information available

Activities

Works (5)

Testing the limits of logical reasoning in neural and hybrid models

Findings of the Association for Computational Linguistics: NAACL 2024
2024 | Conference paper
Contributors: Manuel Vargas Guzmán; Jakub Szymanik; Maciej Malicki
Source: Self-asserted source
Manuel Vargas Guzmán

Compositionality in a simple corpus

2022 | Conference paper
Contributors: Manuel Vargas Guzmán; Maria Boritchev; Jakub Szymanik; Maciej Malicki
Source: Self-asserted source
Manuel Vargas Guzmán via HAL

Prepositions Matter in Quantifier Scope Disambiguation

Proceedings of the 29th International Conference on Computational Linguistics
2022-10 | Conference paper
URI:

https://aclanthology.org/2022.coling-1.348/

Contributors: Leczkowski, Aleksander and Grudzińska, Justyna and Vargas Guzmán, Manuel and Wawer, Aleksander and Siemieniuk, Aleksandra
Source: Self-asserted source
Manuel Vargas Guzmán

Model-checking process equivalences

Theoretical Computer Science
2014-12 | Journal article
Part of ISSN: 0304-3975
Contributors: Martin Lange; Etienne Lozes; Manuel Vargas Guzmán
Source: Self-asserted source
Manuel Vargas Guzmán

Model-Checking Process Equivalences

Electronic Proceedings in Theoretical Computer Science
2012-10-07 | Journal article
Part of ISSN: 2075-2180
Contributors: Martin Lange; Etienne Lozes; Manuel Vargas Guzmán
Source: Self-asserted source
Manuel Vargas Guzmán