 |
 Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic ReasoningInternational Conference on Semantic Systems (i-Semantics), 2025 |
 |
 Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraintsInternational Conference on Learning Representations (ICLR), 2025 |
 Neuro-Symbolic Data Generation for Math ReasoningNeural Information Processing Systems (NeurIPS), 2024 |
 Neurosymbolic Graph Enrichment for Grounded World ModelsInformation Processing & Management (IPM), 2024 |
 Education in the Era of Neurosymbolic AIJournal of Web Semantics (JWS), 2024 |
 The American Sign Language Knowledge Graph: Infusing ASL Models with
Linguistic KnowledgeNorth American Chapter of the Association for Computational Linguistics (NAACL), 2024 |
 DeepDFA: Automata Learning through Neural Probabilistic RelaxationsEuropean Conference on Artificial Intelligence (ECAI), 2024 |
 |
