ExKLoP is a framework that evaluates how effectively Large Language Models can integrate domain-specific expertise into logical reasoning systems for engineering applications.

Key insights:

• Enables direct embedding of manufacturer guidelines and operational constraints into monitoring systems
• Mirrors expert verification processes for range checking and constraint validation
• Enhances system safety and reliability through automated expertise integration
• Creates more robust engineering systems by formalizing human expertise in machine-readable formats

For engineering teams, this research offers a pathway to automate complex knowledge integration, reducing manual oversight while maintaining rigorous safety standards in critical systems.

Integrating Expert Knowledge into Logical Programs via LLMs