1
Verifiable Checks for Business Rule Consistency
用形式化方法验证业务规则一致性，让规则冲突在运行前无所遁形。
arXiv:2608.00396v1 Announce Type: cross Abstract: Maintaining consistency between natural language documentation of business rules and their evolving …
2
LLM-Orchestrated Conformance Checking in Stroke Care Without Computer-Interpretable Guidelines
LLM无需预定义指南即可自动核查卒中护理流程，提升医疗合规与效率
arXiv:2606.09489v1 Announce Type: new Abstract: Objective: Conformance checking in healthcare seeks to assess whether patient care pathways adhere to …