Correctness-aware NL-to-SQL over object-centric event logs (OCEL 2.0): the model emits a typed IR, a verifier checks schema and relation paths, and only verified plans compile to SQL. Benchmarked against three prompting baselines.
python benchmark sql jupyter-notebook intermediate-representation process-mining semantic-parsing quarto sap-ecc text-to-sql nl2sql ocel duckdb llm sap-signavio llm-evaluation ocel2 order-to-cash object-centric-event-log
-
Updated
Aug 20, 2026 - Python