Dependability Assurance with Symbolic Reasoning in LLM-Enabled Systems. - András Gergely Deé-Lukács; András Földvári (DSN-W, 2025)