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

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

Research interests

None defined yet.

Team members 1

Models 2

LIAMF-USP/aristo-roberta

Updated Jan 11 • 56

LIAMF-USP/roberta-large-finetuned-race

Updated Jan 11 • 462

Datasets

None yet