Carvalho, Danilo S.

1. Learning Disentangled Representations for Natural Language Definitions
   2022/09/22 by Carvalho, Danilo S., Mercatali, Giangiacomo, Zhang, Yingji +1 · 2 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
2. Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
   2024/08/15 by Gandarela, João Pedro, Carvalho, Danilo S., Freitas, André · 3 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #I.2.7 #Logic in Computer Science (cs.LO)
3. Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
   2023/05/02 by Zhang, Yingji, Carvalho, Danilo S., Freitas, André · 2 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
4. PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
   2025/04/05 by Marco Valentino, Quan, Xin, Valentino, Marco +5 · 3 citations
   Computer Science · #Explainable Artificial Intelligence (XAI) #Topic Modeling #Multimodal Machine Learning Applications
5. Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders
   2023/11/14 by Zhang, Yingji, Valentino, Marco, Carvalho, Danilo S. +2 · 1 citation
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
6. Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
   2024/02/01 by Yingji Zhang, Zhang, Yingji, Danilo S. Carvalho +7 · 1 citation
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech Recognition and Synthesis #Topic Modeling
7. The Mechanics of Conceptual Interpretation in GPT Models: Interpretative Insights
   2024/08/05 by Nura Aljaafari, Aljaafari, Nura, Danilo S. Carvalho +3 · 1 citation
   Computer Science · #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Topic Modeling
8. TRACE for Tracking the Emergence of Semantic Representations in Transformers
   2025/05/23 by Aljaafari, Nura, Carvalho, Danilo S., Freitas, André · 2 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
9. LangVAE and LangSpace: Building and Probing for Language Model VAEs
   2025/03/29 by Carvalho, Danilo S., Zhang, Yingji, Unsworth, Harriet +1 · 1 citation
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences