On the Evaluation of Intelligence Process Automation. - Deborah Ferreira; Julia Rozanova; Krishna Dubba; Dell Zhang; André Freitas (CoRR, 2020)

Does My Representation Capture X? Probe-Ably. - Deborah Ferreira; Julia Rozanova; Mokanarangan Thayaparan; Marco Valentino; André Freitas (ACL (demo), 2021)

∂-Explainer: Abductive Natural Language Inference via Differentiable Convex Optimization. - Mokanarangan Thayaparan; Marco Valentino; Deborah Ferreira; Julia Rozanova; André Freitas (CoRR, 2021)

Supporting Context Monotonicity Abstractions in Neural NLI Models. - Julia Rozanova; Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; André Freitas (CoRR, 2021)

Grounding Natural Language Instructions: Can Large Language Models Capture Spatial Information? - Julia Rozanova; Deborah Ferreira; Krishna Dubba; Weiwei Cheng; Dell Zhang; André Freitas (CoRR, 2021)

EnnCore: End-to-End Conceptual Guarding of Neural Architectures. - Edoardo Manino; Danilo S. Carvalho; Yi Dong 002; Julia Rozanova; Xidan Song; Mustafa A. Mustafa; André Freitas; Gavin Brown 001; Mikel Luján; Xiaowei Huang 001; Lucas C. Cordeiro (SafeAI@AAAI, 2022)

To be or not to be an Integer? Encoding Variables for Mathematical Text. - Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; Julia Rozanova; André Freitas (ACL (Findings), 2022)

Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. - Edoardo Manino; Julia Rozanova; Danilo S. Carvalho; André Freitas; Lucas C. Cordeiro (ACL (Findings), 2022)

Decomposing Natural Logic Inferences for Neural NLI. - Julia Rozanova; Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; André Freitas (BlackboxNLP@EMNLP, 2022)

Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference. - Mokanarangan Thayaparan; Marco Valentino; Deborah Ferreira; Julia Rozanova; André Freitas (Trans. Assoc. Comput. Linguistics, 2022)

Interventional Probing in High Dimensions: An NLI Case Study. - Julia Rozanova; Marco Valentino; Lucas C. Cordeiro; André Freitas (EACL (Findings), 2023)

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models. - Julia Rozanova; Marco Valentino; André Freitas (CoRR, 2023)

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models. - Julia Rozanova; Marco Valentino; André Freitas (LREC/COLING, 2024)

Montague semantics and modifier consistency measurement in neural language models. - Danilo Silva de Carvalho; Edoardo Manino; Julia Rozanova; Lucas C. Cordeiro; André Freitas (COLING, 2025)