Anthony W. Lin
- Transformers are Inherently Succinct
2025/10/22 by Pascal Bergsträßer, Ryan Cotterell, Bergsträßer, Pascal +3 · 11 voices
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
- Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
2021/11/08 by Taolue Chen, Chen, Taolue, Alejandro Flores Lamas +15 · 9 citations
Computer Science · #F.1.1 #F.4.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Web Application Security Vulnerabilities #Web Data Mining and Analysis
- Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
2018/11/07 by Taolue Chen, Matthew Hague, Chen, Taolue +7 · 7 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Security and Verification in Computing #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
- A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
2020/07/14 by Taolue Chen, Chen, Taolue, Matthew Hague +11 · 5 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Security and Verification in Computing #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
- Fair Termination for Parameterized Probabilistic Concurrent Systems\n (Technical Report)
2017/10/29 by Ondřej Lengál, Lengal, Ondrej, Anthony W. Lin +5 · 2 citations
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Parallel #and Cluster Computing (cs.DC)
- Analysis of Probabilistic Basic Parallel Processes
2014/01/16 by Rémi Bonnet, Bonnet, Rémi, Stefan Kiefer +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling
- The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
2024/05/25 by Pascal Bergsträßer, Chris Köcher, Bergsträßer, Pascal +5 · 2 citations
Computer Science · #Algorithms and Data Compression #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Neural Networks and Applications #Topic Modeling
- Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification
2022/05/18 by Pascal Bergsträßer, Moses Ganardi, Bergsträßer, Pascal +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #semigroups and automata theory
- Quadratic Word Equations with Length Constraints, Counter Systems, and\n Presburger Arithmetic with Divisibility
2018/05/17 by Anthony W. Lin, Lin, Anthony W., Rupak Majumdar +1 · 1 citation
Computer Science · Social Sciences · #Natural Language Processing Techniques #semigroups and automata theory #Basque language and culture studies
- Ramsey Quantifiers in Linear Arithmetics
2023/11/07 by Pascal Bergsträßer, Bergsträßer, Pascal, Moses Ganardi +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- OSTRICH2: Solver for Complex String Constraints
2025/06/17 by Matthew Hague, Hague, Matthew, Denghang Hu +11 · 3 citations
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques