 Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic ReasoningInternational Conference on Semantic Systems (i-Semantics), 2025 |
 System Predictor: Grounding Size Estimator for Logic Programs under
Answer Set SemanticsTheory and Practice of Logic Programming (TPLP), 2023 |
