{"total":59,"rows":[{"id":"2106.06981","title":"Thinking Like Transformers","created":"2021-06-13","cited_by_count":184,"area":null},{"id":"2201.12431","title":"Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval","created":"2022-01-28","cited_by_count":60,"area":null},{"id":"2206.09755","title":"Square One Bias in NLP: Towards a Multi-Dimensional Exploration of the Research Manifold","created":"2022-06-20","cited_by_count":29,"area":null},{"id":"2312.03656","title":"Interpretability Illusions in the Generalization of Simplified Models","created":"2023-12-06","cited_by_count":25,"area":null},{"id":"2111.00600","title":"Minimum Description Length Recurrent Neural Networks","created":"2021-10-31","cited_by_count":24,"area":null},{"id":"2208.10605","title":"SoK: Explainable Machine Learning for Computer Security Applications","created":"2022-08-22","cited_by_count":20,"area":null},{"id":"2310.16076","title":"Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions","created":"2023-10-24","cited_by_count":20,"area":null},{"id":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17,"area":null},{"id":"2201.12451","title":"Extracting Finite Automata from RNNs Using State Merging","created":"2022-01-28","cited_by_count":17,"area":null},{"id":"2308.09543","title":"Latent State Models of Training Dynamics","created":"2023-08-18","cited_by_count":16,"area":null},{"id":"2403.11998","title":"Learning Useful Representations of Recurrent Neural Network Weight Matrices","created":"2024-03-18","cited_by_count":15,"area":null},{"id":"2107.04633","title":"Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learning","created":"2021-07-09","cited_by_count":13,"area":null},{"id":"2104.01193","title":"Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?","created":"2021-04-02","cited_by_count":12,"area":null},{"id":"2209.02650","title":"Learning Interpretable Temporal Properties from Positive Examples Only","created":"2022-09-06","cited_by_count":12,"area":null},{"id":"2206.14621","title":"Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages","created":"2022-06-27","cited_by_count":10,"area":null},{"id":"2309.14691","title":"On the Computational Complexity and Formal Hierarchy of Second Order Recurrent Neural Networks","created":"2023-09-26","cited_by_count":8,"area":null},{"id":"2408.08622","title":"DeepDFA: Automata Learning through Neural Probabilistic Relaxations","created":"2024-08-16","cited_by_count":8,"area":null},{"id":"2207.00982","title":"Linguistically inspired roadmap for building biologically reliable protein language models","created":"2022-07-03","cited_by_count":7,"area":null},{"id":"2304.07687","title":"MLRegTest: A Benchmark for the Machine Learning of Regular Languages","created":"2023-04-16","cited_by_count":7,"area":null},{"id":"2306.14040","title":"Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks","created":"2023-06-24","cited_by_count":7,"area":null},{"id":"2303.01576","title":"DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction","created":"2023-03-02","cited_by_count":6,"area":null},{"id":"2209.03798","title":"ReX: A Framework for Incorporating Temporal Information in Model-Agnostic Local Explanation Techniques","created":"2022-09-08","cited_by_count":5,"area":null},{"id":"2310.14211","title":"LUNA: A Model-Based Universal Analysis Framework for Large Language Models","created":"2023-10-22","cited_by_count":4,"area":null},{"id":"2403.09728","title":"Simulating Weighted Automata over Sequences and Trees with Transformers","created":"2024-03-12","cited_by_count":4,"area":null},{"id":"2510.04115","title":"On the Statistical Query Complexity of Learning Semiautomata: a Random Walk Approach","created":"2025-10-05","cited_by_count":4,"area":null},{"id":"2106.02965","title":"Extracting Weighted Automata for Approximate Minimization in Language Modelling","created":"2021-06-05","cited_by_count":3,"area":null},{"id":"2202.09717","title":"Understanding Robust Generalization in Learning Regular Languages","created":"2022-02-20","cited_by_count":3,"area":null},{"id":"2402.02627","title":"Stability Analysis of Various Symbolic Rule Extraction Methods from Recurrent Neural Network","created":"2024-02-04","cited_by_count":3,"area":null},{"id":"2101.08200","title":"Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)","created":"2021-01-20","cited_by_count":2,"area":null},{"id":"2203.16331","title":"FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata","created":"2022-03-28","cited_by_count":2,"area":null},{"id":"2209.12635","title":"ImmunoLingo: Linguistics-based formalization of the antibody language","created":"2022-09-26","cited_by_count":2,"area":null},{"id":"2211.01022","title":"Verifying And Interpreting Neural Networks using Finite Automata","created":"2022-11-02","cited_by_count":2,"area":null},{"id":"2212.05178","title":"State-Regularized Recurrent Neural Networks to Extract Automata and Explain Predictions","created":"2022-12-10","cited_by_count":2,"area":null},{"id":"2402.07051","title":"$L^*LM$: Learning Automata from Examples using Natural Language Oracles","created":"2024-02-10","cited_by_count":2,"area":null},{"id":"2410.06045","title":"Extracting Moore Machines from Transformers using Queries and Counterexamples","created":"2024-10-08","cited_by_count":2,"area":null},{"id":"2410.20161","title":"Causal Abstraction in Model Interpretability: A Compact Survey","created":"2024-10-26","cited_by_count":2,"area":null},{"id":"2505.24110","title":"A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks","created":"2025-05-30","cited_by_count":2,"area":null},{"id":"2103.13694","title":"On the Complexity of Learning Description Logic Ontologies","created":"2021-03-25","cited_by_count":1,"area":null},{"id":"2204.00360","title":"Extracting Rules from Neural Networks with Partial Interpretations","created":"2022-04-01","cited_by_count":1,"area":null},{"id":"2210.06089","title":"When are Local Queries Useful for Robust Learning?","created":"2022-10-12","cited_by_count":1,"area":null},{"id":"2311.10963","title":"Learning Deterministic Finite Automata from Confidence Oracles","created":"2023-11-18","cited_by_count":1,"area":null},{"id":"2406.05564","title":"Automata Extraction from Transformers","created":"2024-06-08","cited_by_count":1,"area":null},{"id":"2406.08269","title":"Analyzing constrained LLM through PDFA-learning","created":"2024-06-12","cited_by_count":1,"area":null},{"id":"2411.06228","title":"An $\\mathbf{L^*}$ Algorithm for Deterministic Weighted Regular Languages","created":"2024-11-09","cited_by_count":1,"area":null},{"id":"2509.02491","title":"RNN Generalization to Omega-Regular Languages","created":"2025-09-02","cited_by_count":1,"area":null},{"id":"2509.10034","title":"Symbolic Feedforward Networks for Probabilistic Finite Automata: Exact Simulation and Learnability","created":"2025-09-12","cited_by_count":1,"area":null},{"id":"2511.19100","title":"Extracting Robust Register Automata from Neural Networks over Data Sequences","created":"2025-11-24","cited_by_count":1,"area":null},{"id":"2604.17857","title":"On the Emergence of Syntax by Means of Local Interaction","created":"2026-04-20","cited_by_count":1,"area":null},{"id":"2101.07053","title":"A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces","created":"2021-01-18","cited_by_count":0,"area":null},{"id":"2209.10315","title":"Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise","created":"2022-09-21","cited_by_count":0,"area":null},{"id":"2402.06966","title":"DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction","created":"2024-02-10","cited_by_count":0,"area":null},{"id":"2407.09775","title":"Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination","created":"2024-07-13","cited_by_count":0,"area":null},{"id":"2410.03118","title":"Precision, Stability, and Generalization: A Comprehensive Assessment of RNNs learnability capability for Classifying Counter and Dyck Languages","created":"2024-10-04","cited_by_count":0,"area":null},{"id":"2507.09897","title":"Algorithm Development in Neural Networks: Insights from the Streaming Parity Task","created":"2025-07-14","cited_by_count":0,"area":null},{"id":"2601.10918","title":"Neural Induction of Finite-State Transducers","created":"2026-01-16","cited_by_count":0,"area":null},{"id":"2604.01228","title":"Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability","created":"2026-03-20","cited_by_count":0,"area":null},{"id":"2607.29496","title":"Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2608.18765","title":"Learning Canonical Register Automata over Ordered Data Domains","created":"2026-08-19","cited_by_count":0,"area":null},{"id":"2609.00838","title":"Probabilistic Model Checking of Autoregressive Neural Sequence Models","created":"2026-09-01","cited_by_count":0,"area":null}],"next_cursor":null}