Valeria de Paiva
@vcvpaivaI am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.
Language Breakdown
Lines of code distribution across 30 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in TeX
Collaboration Network
Global Impact visualization
Repos
135
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Andrea Ferreira
@andreago9
Mark-Matthias Zymla
@Mmaz1988
Pietro Monticone
@pitmonticone
Leonie Weissweiler
@LeonieWeissweiler
Elena Di Lavore
@elenadilavore
Top Repositories
A place to collect work on dialectica categories.
A project to create open source, re-usable latex for category theory definitions.
a place to keep information about my talks, see https://vcvpaiva.github.io/RecordedTalks/
2022 AMS MRC on Applied Category Theory.
a corpus of short stories with multiple choice question-answers, from the work of Matthew Richardson, Christopher J.C. Burges and Erin Renshaw.
Information about concrete categories relevant to universal algebra and logic
List of resources and tools developed with focus on Portuguese.
Collecting ideas for math concepts and glossaries
Open Source Impact
Contributions to external projects
