Period ending 2026-09-21
1 new paper
A weekly snapshot of new work published in Automatic Identification System.
Twelve weeks of publication activity for this topic as it is defined today.
Weekly history
What was published in this topic, kept on the site without email delivery.
Period ending 2026-09-21
A weekly snapshot of new work published in Automatic Identification System.
Period ending 2026-09-14
A weekly snapshot of new work published in Automatic Identification System.
Period ending 2026-09-07
A weekly snapshot of new work published in Automatic Identification System.
50 papers
hard'' rules, struggling with real-world approximation caused by inherent noise in data. LLMs are tools that can provide semantic reasoning over data, but are non-deterministic and opaque in their learning. Our key idea is to partition the invariant search problem into an AI-driven grammar discovery'' problem, followed by a statistics-driven ``search'' problem within the learned grammar. Taken together, this allows non-deterministic, hallucination-prone AI to help produce auditable invariants with formal guarantees. We design and implement such a system, Autogram, and evaluate it on both public and production telemetry data, recovering expert-derived invariants with high coverage and low false positives. We close with discussion on open problems on the path toward fully open-ended discovery.