Research Scholar
Institute of Mathematics, Polish Academy of Sciences (IMPAN), Warsaw, Poland
Oct. 2021 – Sep. 2024
Software Developer
San Calixto Observatory, La Paz, Bolivia
Oct. 2017 – Jun. 2018
Researcher
University of Kassel, Formal Methods and Software Verification Group, Kassel, Germany
Sep. 2011 – Jul. 2014
Research Scholar
Technical University of Madrid, COSTA Research Group, Madrid, Spain
Nov. 2009 – Feb. 2011
Manuel Vargas Guzmán, Jakub Szymanik, and Maciej Malicki (2024). "Testing the limits of logical reasoning in neural and hybrid models." Findings of the Association for Computational Linguistics: NAACL. Pages 2267–2279.
Manuel Vargas Guzmán, Maria Boritchev, Jakub Szymanik, and Maciej Malicki. (2022). "Compositionality in a simple corpus." Journées Jointes des Groupements de Recherche Linguistique Informatique, Formelle et de Terrain (LIFT) et Traitement Automatique des Langues (TAL). Pages 55-63.
Aleksander Leczkowski, Justyna Grudzińska, Manuel Vargas Guzmán, Aleksander Wawer, and Aleksandra Siemieniuk. (2022). "Prepositions Matter in Quantifier Scope Disambiguation." 29th International Conference on Computational Linguistics. Pages 3960–3970.
Martin Lange, Etienne Lozes, and Manuel Vargas Guzmán. (2014). "Model-checking process equivalences." Theoretical Computer Science. 560(3). Pages 326-347.
Martin Lange, Etienne Lozes, and Manuel Vargas Guzmán. (2012). "Model-Checking Process Equivalences." Games, Automata, Logic and Formal Verification (GandALF). Pages 43-56.
Talk at 33rd EACSL Annual Conference on Computer Science Logic - Workshop on Learning and Logic (LeaLog@CSL 2025), Amsterdam Science Park, Amsterdam, the Netherlands
Conference proceedings at 2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Online (Virtual Poster), Mexico City, Mexico
Talk at 34th European Summer School in Logic, Language and Information (ESSLLI), University of Ljubljana, Faculty of Computer and Information Science, Ljubljana, Slovenia