Integrating Expert Knowledge into Logical Programs via LLMs

Open in new window