001 A Compositional Theory of Causally Masked Transformers arXiv Paper Franz Nowak et al. 2 days ago 002 Stringological sequence prediction II: Right-to-left automaticity and related complexity measures arXiv Paper Vanessa Kosoy Jul 19 003 Regularity as seen by Alice and Bob arXiv Paper Omid Yaghoubi, Mikolaj Boja'nczyk et al. Jul 15 004 GRID: Grammar-Railed Decoding for Enterprise SQL Generation arXiv Paper Mohsen Arjmandi Jul 11 005 Harnessing Code Agents for Automatic Software Verification arXiv Paper Shuangxiang Kan, Shuanglong Kan et al. Jul 7 006 When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models? arXiv Paper Nikola Zubic, Qian Li et al. Jul 7 007 Destination-Labeled Self-Looping Systems with Dwell: Intrinsic Characterization, Realization Cost, and Recognition arXiv Paper Reda Belaiche Jun 29 008 Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming arXiv Paper Philip Smith et al. Jun 29 009 Token Complexity of Certifying Stochastic-Oracle Reliability arXiv Paper Jie Wang Jun 23 010 A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions arXiv Paper Nikan Zandian Jazi, Elisabetta De Maria et al. Jun 12 011 Runtime Enforcement of Hybrid System Properties arXiv Paper Mir Md Sajid Sarwar, Srinivas Pinisetty et al. Jun 10 012 Layer Order Semantics for Automata-Based Cybersecurity arXiv Paper Faruk Alpay, Taylan Alpay Jun 9 013 Causally Evaluating the Learnability of Formal Language Tasks arXiv Paper V'esteinn Snaebjarnarson, Anej Svete et al. Jun 8 014 Compiling Rewrite Rules to Finite-State Transducers with the Worsening Trick arXiv Paper Mans Hulden, Michael Ginn Jun 8 015 Generating in the Limit with Infinitely Many Hallucinations arXiv Paper Irene Strauss, Alexandra Butoi et al. Jun 8 016 Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies arXiv Paper Ashkan Ansarifard, Matteo Mancanelli et al. Jun 6 017 A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking arXiv Paper Jeonghoon Lee Jun 5 018 An Algebraic View of the Expressivity of Recurrent Language Models arXiv Paper Franz Nowak, Ryan Cotterell et al. Jun 1 019 Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't arXiv Paper Anej Svete, William Merrill et al. May 28 020 The Inclusion Depth of Pattern Languages: An Open Problem in Algorithmic Learning Theory arXiv Paper Wei Luo May 28 021 Equilibria in Multiplayer Graph Games: An Algorithmic Study arXiv Paper Léonard Brice May 19 022 Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning arXiv Paper D. Chakraborty, Anirban Majumdar et al. May 14 023 Decoupled Planning for Multiple Omega-Regular Objectives arXiv Paper Guy Avni et al. May 13 024 TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints arXiv Paper Y. Kato, Shuhei Tarashima May 13 025 Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives arXiv Paper Can Zhou, Yulong Gao et al. May 12 026 Finite Sentence-Interface Control for Learning Bounded-Fan-Out Linear MCFGs under Fixed Monoid Typing arXiv Paper Takayuki Kuriyama May 12 027 SMT-Based Active Learning of Weighted Automata arXiv Paper Tiago Ferreira, Kevin Batz et al. May 8 028 MinMax Recurrent Neural Cascades arXiv Paper Alessandro Ronca May 7 029 Resource-Constrained Robotic Planning in the face of Mixed Uncertainty arXiv Paper Yihao Yin et al. May 7 030 Verification of Neural Networks (Lecture Notes) arXiv Paper B. Bollig Apr 28 031 SemML 2.0: Synthesizing Controllers for LTL arXiv Paper Jan Kvret'insk'y, Tobias Meggendorfer et al. Apr 27 032 Benchmarking Testing in Automated Theorem Proving arXiv Paper Jongyoon Kim, Hojae Han et al. Apr 26 033 Prefix Parsing is Just Parsing arXiv Paper Clemente Pasti, Andreas Opedal et al. Apr 23 034 Promoting Simple Agents: Ensemble Methods for Event-Log Prediction arXiv Paper Benedikt Bollig, Matthias Fugger et al. Apr 23 035 Symbolic Synthesis for LTLf+ Obligations arXiv Paper G. D. Giacomo, C. Hagemeier et al. Apr 20 036 CBCL: Safe Self-Extending Agent Communication arXiv Paper Hugo O'Connor Apr 16 037 Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model arXiv Paper Murat Moran Apr 16 038 Active Reward Machine Inference From Raw State Trajectories arXiv Paper Mohamad Louai Shehab, A. Aspeel et al. Apr 8 039 Modelling and Analysis of Supply Chains using Product Time Petri Nets arXiv Paper Eric Lubat et al. Apr 6 040 From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink arXiv Paper Arthur Amorim et al. Apr 4 041 NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network Configuration arXiv Paper Ahmed Twabi, Yepeng Ding et al. Apr 3 042 A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets arXiv Paper Kai Zhang, Guanjun Liu Apr 2 043 PAC learning PDFA from data streams arXiv Paper Robert Baumgartner, S. Verwer Apr 2 044 Designing FSMs Specifications from Requirements with GPT 4.0 arXiv Paper O. Timo, Paul Rodríguez et al. Mar 31 045 Evolution-Based Timed Opacity under a Universal Observation Model arXiv Paper Zhe Zhang et al. Mar 27 046 Stringological sequence prediction I: efficient algorithms for predicting highly repetitive sequences arXiv Paper Vanessa Kosoy Mar 27 047 Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems arXiv Paper Partha S. Roop, Sobhan Chatterjee et al. Mar 26 048 The SCAN Statistical Model Checker arXiv Paper Enrico Ghiorzi et al. Mar 24 049 Agentproof: Static Verification of Agent Workflow Graphs arXiv Paper Melwin Xavier et al. Mar 20 050 Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators arXiv Paper Bhuvaneswari A et al. Mar 20 051 Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability arXiv Paper Sahil Rajesh Dhayalkar Mar 20 052 Sharing The Secret: Distributed Privacy-Preserving Monitoring arXiv Paper Mahyar Karimi et al. Mar 20 053 Solomonoff induction arXiv Paper T. Sterkenburg Mar 17 054 The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory arXiv Paper Romain Peyrichou Mar 10 055 Randomise Alone, Reach as a Team arXiv Paper Léonard Brice et al. Mar 7 056 Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications arXiv Paper Sam Nicholas Kouteili et al. Mar 5 057 Transducing Language Models arXiv Paper V'esteinn Snaebjarnarson, Samuel Kiegeland et al. Mar 5 058 Warm Starting State-Space Models with Automata Learning arXiv Paper W. Fishell, S. Kouteili et al. Mar 5 059 Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding arXiv Paper Faruk Alpay, Bilge Senturk Mar 4 060 Why Are Linear RNNs More Parallelizable? arXiv Paper William Merrill et al. Mar 4