A logical-based corpus for cross-lingual evaluation. - Felipe de Souza Salvatore; Marcelo Finger; Roberto Hirata Jr. (DeepLo@EMNLP-IJCNLP, 2019)

Using neural models to perform inference. - Felipe de Souza Salvatore; Sandro Preto; Marcelo Finger; Roberto Hirata Jr. (NeSy@IJCAI, 2019)

First-order justification logic with constant domain semantics. - Melvin Fitting; Felipe de Souza Salvatore (J. Log. Comput., 2020)

A resampling-based method to evaluate NLI models. - Felipe de Souza Salvatore; Marcelo Finger; Roberto Hirata; Alexandre G. Patriota (Nat. Lang. Eng., 2024)