Learning temporal formulas from examples is hard
[Submitted on 26 Dec 2023 (v1), last revised 9 Nov 2026 (this version, v2)] View PDF HTML (experimental) Abstract:We study…
Tag: cs.FL
The Scope Grammar of Natural-Language Rules: Counting and Enumerating Readings modulo Logical Equivalence
[Submitted on 1 Nov 2026 (v1), last revised 4 Nov 2026 (this version, v2)] View PDF HTML (experimental) Abstract:A rule…