arxiv.org

https://rss.arxiv.org/rss/cs.FL

01.
Validity, Sparse Holes, and Breadth in Language Generation: Banach Density, Topology, and Geometry
arxiv.org · /rss/cs.FL
▲ 0 · Jul 21
02.
Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
arxiv.org · /rss/cs.FL
▲ 0 · Jul 21
03.
From LTL to COCOA without Detours
arxiv.org · /rss/cs.FL
▲ 0 · Jul 21
04.
BTOR2-Based C Program Verification via Hardware Model Checking
arxiv.org · /rss/cs.FL
▲ 0 · Jul 21
05.
On totally synchronizing graphs
arxiv.org · /rss/cs.FL
▲ 0 · Jul 21
06.
Feynman Meets Turing: The Curse of Quantum Universality
arxiv.org · /rss/cs.FL
▲ 0 · Jul 21
07.
Stringological sequence prediction II: Right-to-left automaticity and related complexity measures
arxiv.org · /rss/cs.FL
▲ 0 · Jul 21
08.
The $\Sigma$-Chain Product: A Succinct Model of Automata (De)Composition (Extended Version)
arxiv.org · /rss/cs.FL
▲ 0 · Jul 21
09.
Bifocal Attention: Harmonizing Geometric and Spectral Positional Embeddings for Algorithmic Generalization
arxiv.org · /rss/cs.FL
▲ 0 · Jul 20
10.
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
arxiv.org · /rss/cs.FL
▲ 0 · Jul 20
11.
Formal Foundations for Controlled Stochastic Activity Networks
arxiv.org · /rss/cs.FL
▲ 0 · Jul 20
12.
Quadratic word equations with regular constraints and the exponent of periodicity
arxiv.org · /rss/cs.FL
▲ 0 · Jul 20
13.
Efficient Pattern Matching for Unordered Term Tree Patterns under Generalized Height-Constrained Bindings
arxiv.org · /rss/cs.FL
▲ 0 · Jul 17
14.
3-VASS Reachability is in EXPSPACE
arxiv.org · /rss/cs.FL
▲ 0 · Jul 17
15.
The Post Correspondence Problem for free groups is undecidable
arxiv.org · /rss/cs.FL
▲ 0 · Jul 16
16.
Regularity as seen by Alice and Bob
arxiv.org · /rss/cs.FL
▲ 0 · Jul 16
17.
A Unified Framework for Reaction Systems Based on Interval Structures
arxiv.org · /rss/cs.FL
▲ 0 · Jul 16
18.
A Simple Obligation to Metric Interval Temporal Logic
arxiv.org · /rss/cs.FL
▲ 0 · Jul 16
19.
Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity
arxiv.org · /rss/cs.FL
▲ 0 · Jul 16
20.
Completely Reachable Road Coloring
arxiv.org · /rss/cs.FL
▲ 0 · Jul 15
21.
Random Generation of Small Quantitative Automata for Algorithm Debugging
arxiv.org · /rss/cs.FL
▲ 0 · Jul 15
22.
A Zielonka-type Construction for Connectedly Communicating Processes
arxiv.org · /rss/cs.FL
▲ 0 · Jul 15
23.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning
arxiv.org · /rss/cs.FL
▲ 0 · Jul 15
24.
GRID: Grammar-Railed Decoding for Enterprise SQL Generation
arxiv.org · /rss/cs.FL
▲ 0 · Jul 15
25.
Syntax Repair as Language Intersection
arxiv.org · /rss/cs.FL
▲ 0 · Jul 14
26.
Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
arxiv.org · /rss/cs.FL
▲ 0 · Jul 14
27.
Explorable Parity Automata
arxiv.org · /rss/cs.FL
▲ 0 · Jul 14
28.
Implementation of Polynomial NP-Complete Algorithms Based on the NP Verifier Simulation Framework
arxiv.org · /rss/cs.FL
▲ 0 · Jul 14
29.
Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants
arxiv.org · /rss/cs.FL
▲ 0 · Jul 13
30.
Intrinsic Redundancy and Local Robustness in Finite $\beta$-Expansion Systems
arxiv.org · /rss/cs.FL
▲ 0 · Jul 13

Recent polls

when	ms	items	status
Jul 21	155	8	ok
Jul 21	176	8	ok
Jul 21	168	8	ok
Jul 21	151	8	ok
Jul 21	195	8	ok