Logics, Artificial Intelligence and Formal Methods Lab@University of São Paulo

https://liamf-usp.github.io/liamf-page/

LIAMF-USP

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

abarbosa updated a dataset over 3 years ago

LIAMF-USP/arc-retrieval-c4

View all activity

models 2

LIAMF-USP/roberta-large-finetuned-race

Multiple Choice • Updated May 20, 2021 • 173 • 11

LIAMF-USP/aristo-roberta

Multiple Choice • Updated May 20, 2021 • 17 • 1

datasets 1

LIAMF-USP/arc-retrieval-c4

Updated Jun 5, 2021 • 23