Valeria de Paiva
University of Birmingham
H-index: 32
Europe-United Kingdom
Top articles of Valeria de Paiva
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Gentzen’s Natural Deduction Systems | Luiz Carlos Pereira Elaine Pimentel Edward Hermann Haeusler Valeria de Paiva | 2024 | |
Towards a Brazilian History Knowledge Graph | arXiv preprint arXiv:2403.19856 | Valeria de Paiva Alexandre Rademaker | 2024/3/28 |
THE BULLETIN OF SYMBOLIC LOGIC | Laurent Bienvenu Matthias Baaz Ali Enayat James Cummings Leonid Libkin | 2021 | |
Proceedings of the 4th Natural Logic Meets Machine Learning Workshop | Stergios Chatzikyriakidis Valeria De Paiva | 2023/6 | |
MathGloss: Building mathematical glossaries from text | Lucy Horowitz Valeria de Paiva | 2023/11 | |
Extracting Blockchain Concepts from Text | arXiv preprint arXiv:2305.10408 | Rodrigo Veiga Markus Endler Valeria de Paiva | 2023/5/7 |
Extracting Mathematical Concepts with Large Language Models | arXiv preprint arXiv:2309.00642 | Valeria de Paiva Qiyue Gao Pavel Kovalev Lawrence S Moss | 2023/8/29 |
Dialectica categories and doctrines (abstract) | Valeria de Paiva | 2023/4/27 | |
Curing the SICK and other NLI maladies | Computational Linguistics | Aikaterini-Lida Kalouli Hai Hu Alexander F Webb Lawrence S Moss Valeria De Paiva | 2023/3/1 |
Parmesan: mathematical concept extraction for education | arXiv preprint arXiv:2307.06699 | Jacob Collard Valeria de Paiva Eswaran Subrahmanian | 2023/7/13 |
Dialectica principles via Gödel doctrines | THEORETICAL COMPUTER SCIENCE | Davide Trotta Matteo Spadetto Valeria de Paiva | 2023/2/20 |
[CL] Curing the SICK and other NLI maladies | Aikaterini-Lida Kalouli Hai Hu Alexander Webb Lawrence Moss Valeria Paiva | 2023/7 | |
Dialectica: fibrations and logical principles | D Trotta M Spadetto V de Paiva | 2022 | |
Of Seringueiros and Sambistas: Occupation Mappings in Historical Text. | Valeria de Paiva Livy Real Aikaterini-Lida Kalouli | 2022 | |
Dialectica logical principles: not only rules | Journal of Logic and Computation | Davide Trotta Matteo Spadetto Valeria de Paiva | 2022/12 |
Applied Category Theory in Chemistry, Computing, and Social Networks | Notices of the American Mathematical Society, 2022 | John Baez Simon Cho Daniel Cicala Nina Otter Valeria de Paiva | 2022 |
Extracting mathematical concepts from text | arXiv preprint arXiv:2208.13830 | Jacob Collard Valeria De Paiva Brendan Fong Eswaran Subrahmanian | 2022/8/29 |
Dialectica logical principles via free categorical constructions | D Trotta M Spadetto V de Paiva | 2022 | |
Categorifying computable reducibilities | arXiv preprint arXiv:2208.08656 | Davide Trotta Manlio Valenti Valeria de Paiva | 2022/8/18 |
Second Workshop on Digital Humanities and Natural Language Processing | Cassia Trojahn Maria Finatto Renata Vieira Valeria Paiva | 2022/3 |