Anthony Widjaja Lin
Scholar

Anthony Widjaja Lin

Google Scholar ID: __5nnYUAAAAJ
Professor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems
Program verificationautomated reasoninglogic and automatadatabasesmachine learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,021
 
H-index
18
 
i10-index
32
 
Publications
20
 
Co-authors
51
list available
Contact
No contact links provided.
Publications
4 items
Synthesis and Verification of Transformer Programs
2026
Cited
0
Answering Constraint Path Queries over Graphs
2025
Cited
0
Probability Distributions Computed by Hard-Attention Transformers
2025
Cited
0
NoPE: The Counting Power of Transformers with No Positional Encodings
2025
Cited
0
Resume (English only)
Co-authors
51 total
Philipp Ruemmer
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Matthew Hague
Matthew Hague
Royal Holloway, University of London
Zhilin Wu
Zhilin Wu
State Key Laboratory of Computer Science
Pablo Barceló
Pablo Barceló
Institute for Mathematical and Computational Engineering, PUC Chile & IMFD Chile & CENIA Chile
Taolue Chen
Taolue Chen
School of Computing and Mathematical Sciences, Birkbeck, University of London
Chih-Duo Hong (洪智鐸)
Chih-Duo Hong (洪智鐸)
National Chengchi University, Taiwan
Leonid Libkin
Leonid Libkin
Professor of Computer Science, University of Edinburgh
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems