Formal Languages and Automata Theory Papers @FormalLanguages
Covers automata theory, formal language theory, grammars, and combinatorics on words. New submissions to https://t.co/4jOos7OL8p (not affiliated with arXiv) arxiv.org/list/cs.FL/new Joined March 2010-
Tweets3K
-
Followers123
-
Following3
-
Likes1
Quantitative Semantics for Jumping Automata. arxiv.org/abs/2405.11849
Black-box Context-free Grammar Inference for Readable & Natural Grammars. arxiv.org/abs/2509.26616
Group Actions and Some Combinatorics on Words with $\mathbf{vtm}$. arxiv.org/abs/2509.26613
Tool-Assisted Conformance Checking to Reference Process Models. arxiv.org/abs/2508.00738
The Counting Power of Transformers. arxiv.org/abs/2505.11199
Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies. arxiv.org/abs/2502.18296
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning. arxiv.org/abs/2410.16207
Computational Exploration of Finite Semigroupoids. arxiv.org/abs/2509.00837
Monitoring Timed Properties (Revisited). arxiv.org/abs/2206.14590
LTL$_f$ Learning Meets Boolean Set Cover. arxiv.org/abs/2509.24616
Multihead Finite-State Dimension. arxiv.org/abs/2509.22912
One-sided Hom shifts. arxiv.org/abs/2509.24754
The Role of Logic and Automata in Understanding Transformers. arxiv.org/abs/2509.24024
A substitution lemma for multiple context-free languages. arxiv.org/abs/2509.02117
From Formal Language Theory to Statistical Learning: Finite Observability of Subregular Languages. arxiv.org/abs/2509.22598
Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking. arxiv.org/abs/2509.22215
Passive Learning of Lattice Automata from Recurrent Neural Networks. arxiv.org/abs/2509.22489
Permutation closure for multiple context-free languages. arxiv.org/abs/2509.22239
Fibrational Perspectives on Determinization of Finite-State Automata. arxiv.org/abs/2410.00675
A Variety of Request-Response Specifications. arxiv.org/abs/2509.13078
Batuhan SAYLAM @saylam17904
14 Followers 273 Following METU Statistics '2024 ITU Computer Sciences '2028
Haoyu Wu @haoyuwu_pl
13 Followers 320 Following PhD student at @ANUComputing in programming languages.
Jocelyn Qiaochu Chen @jocelynqchen
665 Followers 337 Following PhD @UTCompSci. Faculty Fellow @NYU_Courant (2024-2025). Incoming Faculty @UAlberta (as soon as I get the work permit). I do research on program synthesis.
Yinuo Emanuele Zhang @YiManu5477
0 Followers 35 Following
Jay @JR202055376266
416 Followers 7K Following
Adwaiya @adi9973
4 Followers 101 Following budding cryptographer. professional funny person. retired free will haver. Ashoka | IIT B
David Chiang @davidweichiang
2K Followers 571 Following Associate Professor of Computer Science and Engineering at University of Notre Dame. Natural language processing, formal grammars, machine learning
Sai @sgjkfxgk
6 Followers 964 Following
Negar @Nyorga_
9 Followers 95 Following
Bhumika Mittal @mittalbhumika7
65 Followers 260 Following Software Engineer @AmuseLabs. Research interests: Cryptography (classical & quantum), Complexity Theory, Formal Logic
Yudai Urabe (占部) @yudai_urabe
100 Followers 306 Following Research student @ Tokyo Tech, Japan/Programming Languages/History of Computer Science/Othello,📖,🎱,🎤,🚶emoji🥳😤🌊
Dr. Paulo Garcia @paulofrgarcia
130 Followers 151 Following Assistant Professor at Chulalongkorn University, Bangkok, Thailand
Maroof Qureshi @MaroofQ23668154
0 Followers 27 Following
guilherme @__guiillherme__
191 Followers 1K Following
M K @MK16182357
0 Followers 1 Following
WorldYiding @WorldYiding
3 Followers 73 Following assistant professor of Hong Kong University of Science and Technology (Guangzhou), expert in information and system science
Lucas Teixeira @LucasTe99831076
1 Followers 104 Following
Martin Mirchev @mp_mirchev
51 Followers 387 Following PhD Student in National University of Singapore. Interested in Automated Program Repair and Automated Testing (Fuzzing)
zhenheng tang @ZhenhengT
178 Followers 626 Following CS PhD, Machine learning and MLsys. Homepage: https://t.co/bDJ1U4pOrD Google Scholar: https://t.co/PMcv5IhsFY
Shangri @_shang_ri
190 Followers 5K Following
MxGhadimi @MxGhadimi
4 Followers 142 Following クラックヘッド | CS & MATH | Formal Methods & Programming languages | undergrad
The GM @professor_sage
65 Followers 321 Following I can do all things through Christ who strengthens me
Ser Fil @spartakos13
320 Followers 3K Following
Shaun Azzopardi @shaunazzopardi
41 Followers 151 Following
Hattie McDoogal @HATTIEMCDOOGAL
0 Followers 41 Following
Kumar Manas @kumarmanas27
27 Followers 175 Following Engineer, learner and truth seeker Doctoral Student FU Berlin: Foundation Model and Robotics with Particular interest in Automated Driving
Gianluke Skywalker �... @MM_Casto
76 Followers 1K Following Jedi Master, dog trainer, MSc student. Science will get us to the stars.
Mohammad Hossein Khos... @Mh_khoshechin
286 Followers 914 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
shobitch @cantor_mlm
84 Followers 836 Following Real Analysis and Material analysis | Long live PLGA | bramhin hater from UP
utkarsh @utkarsh_2105
747 Followers 3K Following he/him | CS undergrad BITS Pilani | (distributed, large, fast and so on) Systems for ML @MSFTResearch, prev @Inria
Marco🍞 @marco_computers
253 Followers 1K Following I like computers, Korean, and computers-and-Korean. Language+keyboard stuff @Google PhD student @chokkanorg lab Interested in high school CS education.
Yakmaz @yYakmazz
328 Followers 6K Following
Gautam Rajhans @gauti4real
0 Followers 53 Following
Yining Lu @Yining__Lu
223 Followers 560 Following Second year CS PhD student @NotreDame | Prev: @amazon @JHUCLSP 🦋: https://t.co/gPXvdPuesy
George Granberry @JudgeJerj
17 Followers 88 Following American PhD candidate living in Sweden currently researching the intersection between Formal Methods, IDEs, and LLMs at Chalmers University of Technology
Shantanu Kulkarni @thebrownmale
390 Followers 1K Following Mumbai | Goa Computer Science PhD @ IIT Bombay. I mostly shitpost here about other interests.
adsfasdfjkrgjkr @SankaYukui
2 Followers 766 Following
yh @x159_showtime
2 Followers 83 Following
dixonp @dixonp
1 Followers 148 Following
Earthquakes @NewEarthquake
936K Followers 11 Following World earthquakes magnitude 5.0+. Sources: USGS, GEOFON. Be prepared: https://t.co/fptknEQEZc #ad As an Amazon Associate I earn from qualifying purchases.
Anthropology Books @anthropology_bk
6K Followers 4 Following All new anthropology books posted on their publication day.Trends for United States
You might like
