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
-
Followers119
-
Following3
-
Likes1
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions. arxiv.org/abs/2502.12065
Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis. arxiv.org/abs/2509.04129
Prebiotic Functional Programs: Endogenous Selection in an Artificial Chemistry. arxiv.org/abs/2509.03534
Identifiability and minimality bounds of quantum and post-quantum models of classical stochastic processes. arxiv.org/abs/2509.03004
Store Languages of Turing Machines and Counter Machines. arxiv.org/abs/2509.02828
Tool-Assisted Conformance Checking to Reference Process Models. arxiv.org/abs/2508.00738
Autonomous Task Planning for Heterogeneous Multi-Agent Systems. arxiv.org/abs/2209.08611
List of Results on the \v{C}ern\'y Conjecture and Reset Thresholds for Synchronizing Automata. arxiv.org/abs/2508.15655
RNN Generalization to Omega-Regular Languages. arxiv.org/abs/2509.02491
Controller synthesis method for multi-agent system based on temporal logic specification. arxiv.org/abs/2509.00870
Neuro-Symbolic Predictive Process Monitoring. arxiv.org/abs/2509.00834
DTMC Model Checking by Path Abstraction Revisited (extended version). arxiv.org/abs/2509.02393
A substitution lemma for multiple context-free languages. arxiv.org/abs/2509.02117
Computational Exploration of Finite Semigroupoids. arxiv.org/abs/2509.00837
Generalised M\"obius Categories and Convolution Kleene Algebras. arxiv.org/abs/2509.00168
Preserving self-similarity in free products of semigroups. arxiv.org/abs/2003.12810
Semiflows, Home Spaces and Home States, Applications to the Analysis of Parameterized Petri Nets. arxiv.org/abs/2504.03477
Tight Bounds for the Number of Absent Subsequences. arxiv.org/abs/2407.18599
A Linear-time Simulation of Deterministic $d$-Limited Automata. arxiv.org/abs/2312.01896
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version). arxiv.org/abs/2508.19430
Yinuo Emanuele Zhang @YiManu5477
1 Followers 35 Following
Jay @JR202055376266
420 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 572 Following Associate Professor of Computer Science and Engineering at University of Notre Dame. Natural language processing, formal grammars, machine learning
Sai dog @sgjkfxgk
7 Followers 916 Following
Negar @Nyorga_
9 Followers 96 Following
Bhumika Mittal @mittalbhumika7
65 Followers 259 Following Software Engineer @AmuseLabs. Research interests: Cryptography (classical & quantum), Complexity Theory, Formal Logic
Yudai Urabe (占部) @yudai_urabe
100 Followers 303 Following Research student @ Tokyo Tech, Japan/Programming Languages/History of Computer Science/Othello,📖,🎱,🎤,🚶emoji🥳😤🌊
Dr. Paulo Garcia @paulofrgarcia
130 Followers 153 Following Assistant Professor at Chulalongkorn University, Bangkok, Thailand
Maroof Qureshi @MaroofQ23668154
0 Followers 27 Following
guilherme @__guiillherme__
156 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 99 Following
Martin Mirchev @mp_mirchev
52 Followers 385 Following PhD Student in National University of Singapore. Interested in Automated Program Repair and Automated Testing (Fuzzing)
zhenheng tang @ZhenhengT
178 Followers 615 Following CS PhD, Machine learning and MLsys. Homepage: https://t.co/bDJ1U4pOrD Google Scholar: https://t.co/PMcv5IhsFY
Shangri @_shang_ri
195 Followers 5K Following
MxGhadimi @MxGhadimi
4 Followers 142 Following クラックヘッド | CS & MATH | Formal Methods & Programming languages | undergrad
The GM @professor_sage
64 Followers 312 Following I can do all things through Christ who strengthens me
Ser Fil @spartakos13
320 Followers 3K Following
Shaun Azzopardi @shaunazzopardi
40 Followers 151 Following
Hattie McDoogal @HATTIEMCDOOGAL
0 Followers 40 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
264 Followers 910 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
shobitch @cantor_mlm
83 Followers 828 Following Real Analysis and Material analysis | Long live PLGA | bramhin hater from UP
utkarsh @utkarsh_2105
656 Followers 2K Following he/him | CS undergrad BITS Pilani | (distributed, large, fast and so on) Systems for ML @MSFTResearch, prev @Inria
Marco🍞 @good_in_theory
252 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
329 Followers 6K Following
Gautam Rajhans @gauti4real
0 Followers 53 Following
Yining Lu @Yining__Lu
212 Followers 540 Following Second year CS PhD student @NotreDame | Intern: @amazon | Prev: @JHUCLSP 🦋: https://t.co/gPXvdPuesy
George Granberry @JudgeJerj
17 Followers 89 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
388 Followers 1K Following Mumbai | Goa Computer Science PhD @ IIT Bombay. I mostly shitpost here about other interests.
adsfasdfjkrgjkr @SankaYukui
2 Followers 756 Following
yh @x159_showtime
2 Followers 77 Following
dixonp @dixonp
1 Followers 136 Following
Nur Lan @nurikolan
290 Followers 1K Following Post-doc in cognitive science, ENS Paris https://t.co/onHg3qjRSx
0wo @ZQuenkar
24 Followers 447 Following
Earthquakes @NewEarthquake
937K 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
