Carvalho, Danilo S.

2 publications

AAAI 2025 Inductive Learning of Logical Theories with LLMs: A Expressivity-Graded Analysis João Pedro Gandarela de Souza, Danilo S. Carvalho, André Freitas

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