conftrace_

declarative specification

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) faithfulness evaluation (1) syntax tree (1) dialogue state management (1) text analytics (1) computational notebook (1) visual text algebra (1) declarative process specification (1) minimal unsatisfiable core (1) process mining (1)

Papers

Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas AAAI 2026 Are Large Language Models Fluent in Declarative Process Mining? IJCAI 2025 Controllable and Reliable Knowledge-Intensive Task-Oriented Conversational Agents with Declarative Genie Worksheets ACL 2025 Towards integrated, interactive, and extensible text data analytics with Leam NAACL 2021