Markus N. Rabe

ORCID

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 35

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
Baldur: Whole-Proof Generation and Repair with Large Language Models. ESEC/SIGSOFT FSE (2023)
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
Baldur: Whole-Proof Generation and Repair with Large Language Models. CoRR (2023)
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Autoformalization with Large Language Models. CoRR (2022)
Yuhuai Wu, Markus N. Rabe, DeLesley Hutchins, Christian Szegedy
Memorizing Transformers. CoRR (2022)
Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Autoformalization with Large Language Models. NeurIPS (2022)
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
Neural Circuit Synthesis from Specification Patterns. CoRR (2021)
Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. CoRR (2021)
Markus N. Rabe, Charles Staats
) Memory. CoRR (2021)
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
Neural Circuit Synthesis from Specification Patterns. NeurIPS (2021)
Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. ICML (2021)
Markus N. Rabe, Christian Szegedy
Towards the Automatic Mathematician. CADE (2021)
Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR (2020)
Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
Language Modeling for Formal Mathematics. CoRR (2020)
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt
Teaching Temporal Logics to Neural Networks. CoRR (2020)
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
Mathematical Reasoning in Latent Space. ICLR (2020)
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving. AAAI (2020)
Leander Tentrup, Markus N. Rabe
Clausal Abstraction for DQBF. SAT (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. ICML (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy
Learning to Reason in Large Theories without Imitation. CoRR (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). CoRR (2019)
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Understanding and Extending Incremental Determinization for 2QBF. CoRR (2019)
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
Mathematical Reasoning in Latent Space. CoRR (2019)
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving. CoRR (2019)
Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia
A Model Counter's Guide to Probabilistic Systems. CoRR (2019)
Markus N. Rabe
Incremental Determinization for Quantifier Elimination and Functional Synthesis. CAV (2) (2019)
Gil Lederman, Markus N. Rabe, Sanjit A. Seshia
Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning. CoRR (2018)
Markus N. Rabe, Leander Tentrup
Synthesis of Boolean Functions with Clausal Abstraction. CoRR (2018)
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Understanding and Extending Incremental Determinization for 2QBF. CAV (2) (2018)
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Encodings of Bounded Synthesis. CoRR (2018)
Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia
Maximum Model Counting. AAAI (2017)
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Encodings of Bounded Synthesis. TACAS (1) (2017)
Markus N. Rabe
A Resolution-Style Proof System for DQBF. SAT (2017)
John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang
Efficient approximation of optimal control for continuous-time Markov games. Inf. Comput. 247 (2016)
Markus N. Rabe, Sanjit A. Seshia
Incremental Determinization. SAT (2016)
Bernd Finkbeiner, Markus N. Rabe
Verifying hyperproperties of hardware systems. FMCAD (2016)
Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis
What's Decidable about Syntax-Guided Synthesis? CoRR (2015)
Markus N. Rabe, Leander Tentrup
CAQE: A Certifying QBF Solver. FMCAD (2015)
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) (2015)
Bernd Finkbeiner, Markus N. Rabe
The linear-hyper-branching spectrum of temporal logics. it Inf. Technol. 56 (6) (2014)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. POST (2014)
Markus N. Rabe, Peter Lammich, Andrei Popescu
A shallow embedding of HyperCTL. Arch. Formal Proofs 2014 (2014)
Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST (2014)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. CoRR (2014)
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
A Temporal Logic for Hyperproperties. CoRR (2013)
Markus N. Rabe, Sven Schewe
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Theor. Comput. Sci. 467 (2013)
Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe
Monitoring Temporal Information Flow. ISoLA (1) (2012)
Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
Model Checking Information Flow in Reactive Systems. VMCAI (2012)
Sergio Giro, Markus N. Rabe
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. ATVA (2012)
John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS (2011)
Markus N. Rabe, Sven Schewe
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Acta Informatica 48 (5-6) (2011)
Markus N. Rabe, Sven Schewe, Lijun Zhang
Efficient Approximation of Optimal Control for Markov Games CoRR (2010)
Markus N. Rabe, Sven Schewe
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games QAPL (2010)
Markus N. Rabe, Sven Schewe
Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games CoRR (2010)

Markus N. Rabe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Markus N. Rabe