Invariant Learning

Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models
Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models

Click the Cite button above to import the BibTeX entry once published.

Oct 15, 2025

LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants

Click the Cite button above to import the BibTeX entry.

Mar 31, 2025

Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning

Click the Cite button above to import the BibTeX entry.

Jan 15, 2025