Markus N. Rabe - Concepedia

Author

Markus N. Rabe

Google (United States)ORCID

Also Known As

Markus N. Rabe, Markus Rabe, Rabe, Markus, Rabe, Markus N.

Publications

1.4K

Citations

H-Index

Concepts

All Affiliations

Google (United States)University of California, Berkeley Saarland University University of Liverpool

About

Markus N. Rabe is an author at Google (United States) specializing in computer science, engineering, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	19	530
2	Language Studies	4	4	160
3	Business	1	1	11
4	Social Sciences	1	1	17
5	Cognitive Science	1	1	17

Markus N. Rabe

Publications

575

Citations

H-Index

Page 1

	Year	Citations
CAQE: A Certifying QBF Solver Markus N. Rabe, Leander Tentrup EngineeringVerificationSoftware AnalysisFormal VerificationLogic Programming	2015	101
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, International Conference on Machine Learning Computational LogicEngineeringMachine LearningAutomated ReasoningFormal Methods	2019	68
Baldur: Whole-Proof Generation and Repair with Large Language Models Emily First, Markus N. Rabe, Talia Ringer, EngineeringVerificationAutomated ProofSoftware AnalysisFormal Verification	2023	67
Autoformalization with Large Language Models Yuhuai Wu, Albert Q. Jiang, Wenda Li, arXiv (Cornell University) Artificial IntelligenceEngineeringVerificationAutomated ProofSuccessful Autoformalization System	2022	41
Memorizing Transformers Yuhuai Wu, Markus N. Rabe, DeLesley Hutchins, arXiv (Cornell University) Natural Language ProcessingLarge Language ModelsRetrieval Augmented GenerationLarge Ai ModelEngineering	2022	39
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games Markus N. Rabe, Sven Schewe Acta Informatica Mathematical ProgrammingDifferential GameEngineeringReachability ProblemTime-bounded Reachability	2011	32
Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning. Gil Lederman, Markus N. Rabe, Edward A. Lee, Artificial IntelligenceSymbolic LearningQuantified Boolean FormulasReinforcement Learning (Computer Engineering)Machine Learning	2018	19
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, arXiv (Cornell University) Artificial IntelligenceEngineeringMachine LearningKepler ConjectureDeep Reinforcement Learning	2019	19
Learning to Reason in Large Theories without Imitation Kshitij Bansal, Christian Szegedy, Markus N. Rabe, arXiv (Cornell University)	2019	18
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning Gil Lederman, Markus N. Rabe, Sanjit A. Seshia, eScholarship (California Digital Library)	2020	17

Page 1