Moritz Müller
Scholar

Moritz Müller

Google Scholar ID: ZBiPfPwAAAAJ
Unknown affiliation
Mathematical LogicTheoretical Computer Science
Google Scholar↗
Citations & Impact
All-time
Citations
505
 
H-index
14
 
i10-index
20
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
2 items
From Gödel incompleteness to the consistency of circuit lower bounds
2026
Cited
0
GPTKB v1.5: A Massive Knowledge Base for Exploring Factual LLM Knowledge
2025
Cited
0
Resume (English only)
Co-authors
16 total
Yijia Chen
Yijia Chen
Shanghai Jiao Tong University
Albert Atserias
Albert Atserias
Universitat Politècnica de Catalunya, Barcelona
Sam Buss
Sam Buss
Professor of Mathematics and Computer Science
Co-author 4
Co-author 4
Frances Rosamond
Frances Rosamond
University of Bergen (Emeritus), Western Sydney University, Australia (Adjunct)
Arnold Beckmann
Arnold Beckmann
Professor of Computer Science, Swansea University
Co-author 7
Co-author 7
Neil Thapen
Neil Thapen
Researcher, Institute of Mathematics, Czech Academy of Sciences