TY - RPRT TI - Integrating Expert Knowledge into Logical Programs via LLMs AU - Franciszek Górski AU - Oskar Wysocki AU - Marco Valentino AU - Andre Freitas PY - 2025 UR - https://arxiv.org/abs/2502.12275 ID - 2502.12275 ER -