Cover Image

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bogdanov, Eli, Cohen, Izack, Gal, Avigdor
Format:	Preprint
Published:	2025
Subjects:	Databases Artificial Intelligence Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Scalable and Near-Optimal Conformance Checking Approach for Long Traces
by: Bogdanov, Eli, et al.
Published: (2024)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

Static Type Checking for Database Access Code
by: Kirz, Thomas James, et al.
Published: (2026)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
by: Bouajjani, Ahmed, et al.
Published: (2025)

Chatting with Logs: An exploratory study on Finetuning LLMs for LogQL
by: Seshagiri, Vishwanath, et al.
Published: (2024)

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis
by: Roberson, Richard, et al.
Published: (2024)

The generalised distribution semantics and projective families of distributions
by: Weitkämper, Felix
Published: (2022)

On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
by: Alman, Anti, et al.
Published: (2026)

MCTS-SQL: Light-Weight LLMs can Master the Text-to-SQL through Monte Carlo Tree Search
by: Yuan, Shuozhi, et al.
Published: (2025)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
by: Liang, Eric
Published: (2026)

MiniCheck: Efficient Fact-Checking of LLMs on Grounding Documents
by: Tang, Liyan, et al.
Published: (2024)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
by: Zhao, Pinhan, et al.
Published: (2025)

Reasoning-SQL: Reinforcement Learning with SQL Tailored Partial Rewards for Reasoning-Enhanced Text-to-SQL
by: Pourreza, Mohammadreza, et al.
Published: (2025)

Data-driven project planning: An integrated network learning and constraint relaxation approach in favor of scheduling
by: Cohen, Izack
Published: (2023)

HybridFC: A Hybrid Fact-Checking Approach for Knowledge Graphs
by: Qudus, Umair, et al.
Published: (2024)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
by: Tremante, Andrew, et al.
Published: (2026)

Sanity Checks for Long-Form Hallucination Detection
by: Zollicoffer, Geigh, et al.
Published: (2026)

Evergreen: Efficient Claim Verification for Semantic Aggregates
by: Lee, Alexander W., et al.
Published: (2026)

ClaimCheck: Real-Time Fact-Checking with Small Language Models
by: Putta, Akshith Reddy, et al.
Published: (2025)

InFi-Check: Interpretable and Fine-Grained Fact-Checking of LLMs
by: Bai, Yuzhuo, et al.
Published: (2026)

The Monotone Priority System: Foundations of Contract-Specific Sequencing
by: Durvasula, Naveen
Published: (2026)

EllieSQL: Cost-Efficient Text-to-SQL with Complexity-Aware Routing
by: Zhu, Yizhang, et al.
Published: (2025)

Beyond Linear LLM Invocation: An Efficient and Effective Semantic Filter Paradigm
by: Hou, Nan, et al.
Published: (2026)

HES-SQL: Hybrid Reasoning for Efficient Text-to-SQL with Structural Skeleton Guidance
by: Qiu, Suming, et al.
Published: (2025)

Checking Consistency of Event-driven Traces
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

AnyMatch -- Efficient Zero-Shot Entity Matching with a Small Language Model
by: Zhang, Zeyu, et al.
Published: (2024)

SchemaGraphSQL: Efficient Schema Linking with Pathfinding Graph Algorithms for Text-to-SQL on Large-Scale Databases
by: Safdarian, AmirHossein, et al.
Published: (2025)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
by: Wei, Anjiang, et al.
Published: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
by: Beutner, Raven, et al.
Published: (2025)

Associative Knowledge Graphs for Efficient Sequence Storage and Retrieval
by: Stokłosa, Przemysław, et al.
Published: (2024)

A Projected Upper Bound for Mining High Utility Patterns from Interval-Based Event Sequences
by: Mirbagheri, S. Mohammad
Published: (2022)

HYBRINFOX at CheckThat! 2024 -- Task 1: Enhancing Language Models with Structured Information for Check-Worthiness Estimation
by: Faye, Géraud, et al.
Published: (2024)

OVT-MLCS: An Online Visual Tool for MLCS Mining from Long or Big Sequences
by: Wang, Zhi, et al.
Published: (2026)

Vbox: Efficient Black-Box Serializability Verification
by: Sun, Weihua, et al.
Published: (2025)

FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)

MTSQL-R1: Towards Long-Horizon Multi-Turn Text-to-SQL via Agentic Training
by: Guo, Taicheng, et al.
Published: (2025)

PyTond: Efficient Python Data Science on the Shoulders of Databases
by: Shahrokhi, Hesam, et al.
Published: (2024)

DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

How LLMs Fail to Support Fact-Checking
by: Proma, Adiba Mahbub, et al.
Published: (2025)

Efficient Text Classification with Conformal In-Context Learning
by: Pantelidis, Ippokratis, et al.
Published: (2025)