Researcher
Institute of Fundamental Technological Research, Polish Academy of Sciences (IPPT PAN), Warsaw, Poland
Sep. 2025 - Present
Doctoral Researcher
Institute of Mathematics, Polish Academy of Sciences (IMPAN), later affiliated with the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw (MIMUW), Warsaw, Poland
Oct. 2021 – Sep. 2025
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 (2026). "Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic." In Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning — KR meets Machine Learning and Explanation. Pages 1143–1152.
Leonardo Bertolazzi, Manuel Vargas Guzmán, Raffaella Bernardi, Maciej Malicki, and Jakub Szymanik (2026). "Teaching Small Language Models to Learn Logic through Meta-Learning." In Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers). Pages 8049–8080.
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 Compositionality and Reasoning in AI and Cognitive Science, Warsaw, Poland
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