Valeria de Paiva
Biographic Data
| ID | 5997350 |
|---|---|
| NAME | Valeria de Paiva |
| GIVEN NAMES | Valeria |
| FAMILY NAME | de Paiva |
| SIGNATURE | DE PAIVA V |
| AFFILIATIONS | Samsung (United States) |
| ORCID | 0000-0002-1078-6970 |
| VERIFIED | Yes |
| TOTAL WORKS | 3 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 3 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 1989 |
| LATEST PUBLICATION YEAR | 2022 |
| H-INDEX | 0 |
Curing the Sick and Other NLI Maladies
Against the backdrop of the ever-improving Natural Language Inference (NLI) models, recent efforts have focused on the suitability of the current NLI datasets and on the feasibility of the NLI task as it is currently approached. Many of the recent studies have exposed the inherent human disagreements of the inference task and have proposed a shift from categorical labels to human subjective probability assessments, capturing human uncertainty. In…
An ecumenical notion of entailment
The Dialectica categories
This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's!-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, t…
No prominent works on this page.
The Dialectica categories
This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's!-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, t…
An ecumenical notion of entailment
Curing the Sick and Other NLI Maladies
Against the backdrop of the ever-improving Natural Language Inference (NLI) models, recent efforts have focused on the suitability of the current NLI datasets and on the feasibility of the NLI task as it is currently approached. Many of the recent studies have exposed the inherent human disagreements of the inference task and have proposed a shift from categorical labels to human subjective probability assessments, capturing human uncertainty. In…
Mathematics (3 works) · Artificial Intelligence (2 works) · Computer Science (2 works) · Advanced Algebra and Logic (1 work) · Annotation (1 work) · Artificial Intelligence (1 work) · Calculus (dental) (1 work) · Classical Philosophy and Thought (1 work) · Curry–Howard correspondence (1 work) · Cut-elimination theorem (1 work)