Markus N Rabe

Cited by

	All	Since 2019
Citations	2694	2235
h-index	26	23
i10-index	34	29

660

330

165

495

2010201120122013201420152016201720182019202020212022202320247 7 18 19 32 40 92 102 128 186 204 329 339 524 645

Public access

View all

19 articles

1 article

available

not available

Based on funding mandates

Co-authors

Christian SzegedyResearcherVerified email at szegedy.org
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Sarah M. LoosGoogleVerified email at google.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Kshitij Bansalkshitij.ioVerified email at kshitij.io
Leander TentrupSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Yuhuai(Tony) WuCo-Founder of xAIVerified email at x.ai
Cesar SanchezProfessor, IMDEA Software InstituteVerified email at imdea.org
Wenda LiUniversity of EdinburghVerified email at ed.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Christopher HahnX, the moonshot factory (Google X)Verified email at google.com
Frederik SchmittPh.D. student at CISPA Helmholtz Center for Information Security and Saarland UniversityVerified email at cispa.de
Albert Q. JiangMistral AIVerified email at mistral.ai
Dennis LeeGoogleVerified email at google.com
Kristopher MicinskiSyracuse UniversityVerified email at syr.edu
Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell UniversityVerified email at cornell.edu
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
Aditya PaliwalxAIVerified email at x.ai
Delesley HutchinsGoogleVerified email at google.com
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de

Markus N Rabe

Augment

Verified email at augmentcode.com - Homepage

Automated Reasoning Machine Learning Formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Temporal Logics for Hyperproperties MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez International Conference on Principles of Security and Trust (POST), 265-284, 2014	355	2014
Memorizing transformers Y Wu, MN Rabe, DL Hutchins, C Szegedy International Conference on Learning Representations, 2021	245	2021
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving K Bansal, S Loos, M Rabe, C Szegedy, S Wilcox International Conference on Machine Learning, 454-463, 2019	203*	2019
Algorithms for Model Checking HyperLTL and HyperCTL* B Finkbeiner, MN Rabe, C Sánchez Computer Aided Verification (CAV), 30-48, 2015	193	2015
CAQE: A Certifying QBF Solver MN Rabe, L Tentrup Formal Methods in Computer-Aided Design (FMCAD), 136-143, 2015	155	2015
Autoformalization with large language models Y Wu, AQ Jiang, W Li, M Rabe, C Staats, M Jamnik, C Szegedy Advances in Neural Information Processing Systems 35, 32353-32368, 2022	152	2022
Graph representations for higher-order logic and theorem proving A Paliwal, S Loos, M Rabe, K Bansal, C Szegedy Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2967-2974, 2020	138	2020
Self-attention Does Not Need Memory MN Rabe, C Staats arXiv preprint arXiv:2112.05682, 2021	108	2021
Baldur: Whole-proof generation and repair with large language models E First, M Rabe, T Ringer, Y Brun Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023	101	2023
Model Checking Information Flow in Reactive Systems R Dimitrova, B Finkbeiner, M Kovács, M Rabe, H Seidl Verification, Model Checking, and Abstract Interpretation (VMCAI), 169-185, 2012	91	2012
Encodings of Bounded Synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2017	87	2017
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning G Lederman, M Rabe, EA Lee, SA Seshia ICLR, 2020	81*	2020
Teaching temporal logics to neural networks C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner arXiv preprint arXiv:2003.04218, 2020	74	2020
Incremental Determinization MN Rabe, SA Seshia Theory and Applications of Satisfiability Testing (SAT), 375-392, 2016	68	2016
A Temporal Logic Approach to Information-flow Control MN Rabe Saarland University, 2016	62	2016
Lime: Learning inductive bias for primitives of mathematical reasoning Y Wu, MN Rabe, W Li, J Ba, RB Grosse, C Szegedy International Conference on Machine Learning, 11251-11262, 2021	60	2021
Mathematical Reasoning via Self-supervised Skip-tree Training MN Rabe, D Lee, K Bansal, C Szegedy arXiv preprint arXiv:2006.04757, 2020	56	2020
Maximum Model Counting DJ Fremont, MN Rabe, SA Seshia AAAI, 3885-3892, 2017	53	2017
Learning to reason in large theories without imitation K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman arXiv preprint arXiv:1905.10501, 2019	46	2019
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games MN Rabe, S Schewe Acta Informatica 48, 291-315, 2011	43	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors