Integrating Expert Knowledge into Logical Programs via LLMs

Re-assign community