Model-checking process equivalences. - Martin Lange; Étienne Lozes; Manuel Vargas Guzmán 001 (Theor. Comput. Sci., 2014)

Prepositions Matter in Quantifier Scope Disambiguation. - Aleksander Leczkowski; Justyna Grudzinska; Manuel Vargas Guzmán 001; Aleksander Wawer; Aleksandra Siemieniuk (COLING, 2022)

Testing the limits of logical reasoning in neural and hybrid models. - Manuel Vargas Guzmán 001; Jakub Szymanik; Maciej Malicki (NAACL-HLT (Findings), 2024)

A MIND for Reasoning: Meta-learning for In-context Deduction. - Leonardo Bertolazzi; Manuel Vargas Guzmán 001; Raffaella Bernardi; Maciej Malicki; Jakub Szymanik (CoRR, 2025)