We stand with Ukraine

We stand with Ukraine

Markus N. Rabe

Orcid: 0000-0003-4795-7259

Affiliations:

Google Inc.
Saarland University, Department of Computer Science (former)

According to our database¹, Markus N. Rabe authored at least 45 papers between 2010 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org
on react.cs.uni-sb.de

On csauthors.net:

Bibliography

2023

Baldur: Whole-Proof Generation and Repair with Large Language Models.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Autoformalization with Large Language Models.

[BibT_eX]

[DOI]

,

Albert Qiaochu Jiang

,

,

,

,

,

Christian Szegedy

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Memorizing Transformers.

[BibT_eX]

[DOI]

,

Markus Norman Rabe

,

DeLesley Hutchins

,

Christian Szegedy

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Self-attention Does Not Need O(n<sup>2</sup>) Memory.

[BibT_eX]

[DOI]

,

CoRR, 2021

Neural Circuit Synthesis from Specification Patterns.

[BibT_eX]

[DOI]

Frederik Schmitt

,

Christopher Hahn

,

,

Bernd Finkbeiner

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.

[BibT_eX]

[DOI]

,

,

,

,

Roger B. Grosse

,

Christian Szegedy

Proceedings of the 38th International Conference on Machine Learning, 2021

Mathematical Reasoning via Self-supervised Skip-tree Training.

[BibT_eX]

[DOI]

Markus Norman Rabe

,

,

,

Christian Szegedy

Proceedings of the 9th International Conference on Learning Representations, 2021

Teaching Temporal Logics to Neural Networks.

[BibT_eX]

[DOI]

Christopher Hahn

,

Frederik Schmitt

,

,

Markus Norman Rabe

,

Bernd Finkbeiner

Proceedings of the 9th International Conference on Learning Representations, 2021

Towards the Automatic Mathematician.

[BibT_eX]

[DOI]

,

Christian Szegedy

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Language Modeling for Formal Mathematics.

[BibT_eX]

[DOI]

,

,

,

Christian Szegedy

CoRR, 2020

Teaching Temporal Logics to Neural Networks.

[BibT_eX]

[DOI]

Bernd Finkbeiner

,

Christopher Hahn

,

,

Frederik Schmitt

CoRR, 2020

Mathematical Reasoning in Latent Space.

[BibT_eX]

[DOI]

,

Christian Szegedy

,

,

,

Proceedings of the 8th International Conference on Learning Representations, 2020

Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 8th International Conference on Learning Representations, 2020

Graph Representations for Higher-Order Logic and Theorem Proving.

[BibT_eX]

[DOI]

,

,

,

,

Christian Szegedy

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Learning to Reason in Large Theories without Imitation.

[BibT_eX]

[DOI]

,

,

,

Christian Szegedy

CoRR, 2019

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).

[BibT_eX]

[DOI]

,

,

,

Christian Szegedy

,

CoRR, 2019

A Model Counter's Guide to Probabilistic Systems.

[BibT_eX]

[DOI]

Marcell Vazquez-Chanlatte

,

,

Sanjit A. Seshia

CoRR, 2019

Clausal Abstraction for DQBF.

[BibT_eX]

[DOI]

Leander Tentrup

,

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.

[BibT_eX]

[DOI]

,

,

,

Christian Szegedy

,

Proceedings of the 36th International Conference on Machine Learning, 2019

Incremental Determinization for Quantifier Elimination and Functional Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Synthesis of Boolean Functions with Clausal Abstraction.

[BibT_eX]

[DOI]

,

Leander Tentrup

CoRR, 2018

Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning.

[BibT_eX]

[DOI]

,

,

Sanjit A. Seshia

CoRR, 2018

Understanding and Extending Incremental Determinization for 2QBF.

[BibT_eX]

[DOI]

,

Leander Tentrup

,

Cameron Rasmussen

,

Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Encodings of Bounded Synthesis.

[BibT_eX]

[DOI]

Peter Faymonville

,

Bernd Finkbeiner

,

,

Leander Tentrup

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Resolution-Style Proof System for DQBF.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Maximum Model Counting.

[BibT_eX]

[DOI]

Daniel J. Fremont

,

,

Sanjit A. Seshia

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

A temporal logic approach to iInformation-flow control.

[BibT_eX]

[DOI]

PhD thesis, 2016

Efficient approximation of optimal control for continuous-time Markov games.

[BibT_eX]

[DOI]

,

,

,

Inf. Comput., 2016

Incremental Determinization.

[BibT_eX]

[DOI]

,

Sanjit A. Seshia

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Verifying hyperproperties of hardware systems.

[BibT_eX]

[DOI]

Bernd Finkbeiner

,

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

What's Decidable about Syntax-Guided Synthesis?

[BibT_eX]

[DOI]

Benjamin Caulfield

,

,

Sanjit A. Seshia

,

Stavros Tripakis

CoRR, 2015

CAQE: A Certifying QBF Solver.

[BibT_eX]

[DOI]

,

Leander Tentrup

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Algorithms for Model Checking HyperLTL and HyperCTL ^*.

[BibT_eX]

[DOI]

Bernd Finkbeiner

,

,

César Sánchez

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

The linear-hyper-branching spectrum of temporal logics.

[BibT_eX]

[DOI]

Bernd Finkbeiner

,

it Inf. Technol., 2014

A shallow embedding of HyperCTL.

[BibT_eX]

[DOI]

,

,

Arch. Formal Proofs, 2014

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.

[BibT_eX]

[DOI]

,

Christoph M. Wintersteiger

,

,

,

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Temporal Logics for Hyperproperties.

[BibT_eX]

[DOI]

Michael R. Clarkson

,

Bernd Finkbeiner

,

,

Kristopher K. Micinski

,

,

César Sánchez

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2013

Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games.

[BibT_eX]

[DOI]

,

Theor. Comput. Sci., 2013

A Temporal Logic for Hyperproperties.

[BibT_eX]

[DOI]

Bernd Finkbeiner

,

,

César Sánchez

CoRR, 2013

2012

Model Checking Information Flow in Reactive Systems.

[BibT_eX]

[DOI]

Rayna Dimitrova

,

Bernd Finkbeiner

,

,

,

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Monitoring Temporal Information Flow.

[BibT_eX]

[DOI]

Rayna Dimitrova

,

Bernd Finkbeiner

,

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements.

[BibT_eX]

[DOI]

,

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games.

[BibT_eX]

[DOI]

,

Acta Informatica, 2011

2010

Efficient Approximation of Optimal Control for Markov Games

[BibT_eX]

[DOI]

,

,

CoRR, 2010

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

[BibT_eX]

[DOI]

,

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Loading...