Clik here to view.
Verification of Partial-Information Probabilistic Systems Using...
Sergio Giro, Markus N. Rabe: Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. ATVA 2012: 333-348
View ArticleClik here to view.
A Temporal Logic for Hyperproperties.
Bernd Finkbeiner, Markus N. Rabe, César Sánchez: A Temporal Logic for Hyperproperties. CoRR abs/1306.6657 (2013)
View ArticleClik here to view.
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games.
Markus N. Rabe, Sven Schewe: Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Theor. Comput. Sci. 467: 53-67 (2013)
View ArticleClik here to view.
Temporal Logics for Hyperproperties.
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez: Temporal Logics for Hyperproperties. CoRR abs/1401.4492 (2014)
View ArticleClik here to view.
Symbolic Approximation of the Bounded Reachability Probability in Large...
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: 388-403
View ArticleClik here to view.
Temporal Logics for Hyperproperties.
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez: Temporal Logics for Hyperproperties. POST 2014: 265-284
View ArticleClik here to view.
The linear-hyper-branching spectrum of temporal logics.
Bernd Finkbeiner, Markus N. Rabe: The linear-hyper-branching spectrum of temporal logics. it Inf. Technol. 56(6): 273-279 (2014)
View ArticleClik here to view.
A shallow embedding of HyperCTL.
Markus N. Rabe, Peter Lammich, Andrei Popescu: A shallow embedding of HyperCTL. Arch. Formal Proofs 2014 (2014)
View ArticleClik here to view.
What's Decidable about Syntax-Guided Synthesis?
Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis: What's Decidable about Syntax-Guided Synthesis? CoRR abs/1510.08393 (2015)
View ArticleClik here to view.
CAQE: A Certifying QBF Solver.
Markus N. Rabe, Leander Tentrup: CAQE: A Certifying QBF Solver. FMCAD 2015: 136-143
View ArticleClik here to view.
Algorithms for Model Checking HyperLTL and HyperCTL ^*.
Bernd Finkbeiner, Markus N. Rabe, César Sánchez: Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) 2015: 30-48
View ArticleClik here to view.
Incremental Determinization.
Markus N. Rabe, Sanjit A. Seshia: Incremental Determinization. SAT 2016: 375-392
View ArticleClik here to view.
Verifying hyperproperties of hardware systems.
Bernd Finkbeiner, Markus N. Rabe: Verifying hyperproperties of hardware systems. FMCAD 2016: 5
View ArticleClik here to view.
Efficient approximation of optimal control for continuous-time Markov games.
John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang: Efficient approximation of optimal control for continuous-time Markov games. Inf. Comput. 247: 106-129 (2016)
View ArticleClik here to view.
A temporal logic approach to iInformation-flow control.
Markus N. Rabe: A temporal logic approach to iInformation-flow control. Saarland University, 2016
View ArticleClik here to view.
Encodings of Bounded Synthesis.
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup: Encodings of Bounded Synthesis. TACAS (1) 2017: 354-370
View ArticleClik here to view.
A Resolution-Style Proof System for DQBF.
Markus N. Rabe: A Resolution-Style Proof System for DQBF. SAT 2017: 314-325
View ArticleClik here to view.
Maximum Model Counting.
Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia: Maximum Model Counting. AAAI 2017: 3885-3892
View ArticleClik here to view.
Synthesis of Boolean Functions with Clausal Abstraction.
Markus N. Rabe, Leander Tentrup: Synthesis of Boolean Functions with Clausal Abstraction. CoRR abs/1808.08759 (2018)
View ArticleClik here to view.
Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning.
Gil Lederman, Markus N. Rabe, Sanjit A. Seshia: Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning. CoRR abs/1807.08058 (2018)
View ArticleClik here to view.
Encodings of Bounded Synthesis.
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup: Encodings of Bounded Synthesis. CoRR abs/1803.09570 (2018)
View ArticleClik here to view.
Understanding and Extending Incremental Determinization for 2QBF.
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia: Understanding and Extending Incremental Determinization for 2QBF. CAV (2) 2018: 256-274
View ArticleClik here to view.
Mathematical Reasoning in Latent Space.
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal: Mathematical Reasoning in Latent Space. CoRR abs/1909.11851 (2019)
View ArticleClik here to view.
Understanding and Extending Incremental Determinization for 2QBF.
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia: Understanding and Extending Incremental Determinization for 2QBF. CoRR abs/1905.13411 (2019)
View ArticleClik here to view.
Learning to Reason in Large Theories without Imitation.
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy: Learning to Reason in Large Theories without Imitation. CoRR abs/1905.10501 (2019)
View ArticleClik here to view.
Graph Representations for Higher-Order Logic and Theorem Proving.
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy: Graph Representations for Higher-Order Logic and Theorem Proving. CoRR abs/1905.10006 (2019)
View ArticleClik here to view.
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving...
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 abs/1904.03241 (2019)
View ArticleClik here to view.
A Model Counter's Guide to Probabilistic Systems.
Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia: A Model Counter's Guide to Probabilistic Systems. CoRR abs/1903.09354 (2019)
View ArticleClik here to view.
Clausal Abstraction for DQBF.
Leander Tentrup, Markus N. Rabe: Clausal Abstraction for DQBF. SAT 2019: 388-405
View ArticleClik here to view.
HOList: An Environment for Machine Learning of Higher Order Logic Theorem...
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: 454-463
View ArticleClik here to view.
Incremental Determinization for Quantifier Elimination and Functional Synthesis.
Markus N. Rabe: Incremental Determinization for Quantifier Elimination and Functional Synthesis. CAV (2) 2019: 84-94
View ArticleClik here to view.
Language Modeling for Formal Mathematics.
Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy: Language Modeling for Formal Mathematics. CoRR abs/2006.04757 (2020)
View ArticleClik here to view.
Teaching Temporal Logics to Neural Networks.
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt: Teaching Temporal Logics to Neural Networks. CoRR abs/2003.04218 (2020)
View ArticleClik here to view.
Mathematical Reasoning in Latent Space.
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal: Mathematical Reasoning in Latent Space. ICLR 2020
View ArticleClik here to view.
Learning Heuristics for Quantified Boolean Formulas through Reinforcement...
Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee: Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR 2020
View ArticleClik here to view.
Graph Representations for Higher-Order Logic and Theorem Proving.
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy: Graph Representations for Higher-Order Logic and Theorem Proving. AAAI 2020: 2967-2974
View ArticleClik here to view.
Self-attention Does Not Need O(n2) Memory.
Markus N. Rabe, Charles Staats: Self-attention Does Not Need O(n2) Memory. CoRR abs/2112.05682 (2021)
View ArticleClik here to view.
Neural Circuit Synthesis from Specification Patterns.
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner: Neural Circuit Synthesis from Specification Patterns. CoRR abs/2107.11864 (2021)
View ArticleClik here to view.
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.
Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy: LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. CoRR abs/2101.06223 (2021)
View ArticleClik here to view.
Neural Circuit Synthesis from Specification Patterns.
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner: Neural Circuit Synthesis from Specification Patterns. NeurIPS 2021: 15408-15420
View ArticleClik here to view.
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.
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: 11251-11262
View ArticleClik here to view.
Mathematical Reasoning via Self-supervised Skip-tree Training.
Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy: Mathematical Reasoning via Self-supervised Skip-tree Training. ICLR 2021
View ArticleClik here to view.
Teaching Temporal Logics to Neural Networks.
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner: Teaching Temporal Logics to Neural Networks. ICLR 2021
View ArticleClik here to view.
Towards the Automatic Mathematician.
Markus N. Rabe, Christian Szegedy: Towards the Automatic Mathematician. CADE 2021: 25-37
View ArticleClik here to view.
Autoformalization with Large Language Models.
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy: Autoformalization with Large Language Models. CoRR abs/2205.12615 (2022)
View ArticleClik here to view.
Memorizing Transformers.
Yuhuai Wu, Markus N. Rabe, DeLesley Hutchins, Christian Szegedy: Memorizing Transformers. CoRR abs/2203.08913 (2022)
View ArticleClik here to view.
Autoformalization with Large Language Models.
Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy: Autoformalization with Large Language Models. NeurIPS 2022
View ArticleClik here to view.
Memorizing Transformers.
Yuhuai Wu, Markus Norman Rabe, DeLesley Hutchins, Christian Szegedy: Memorizing Transformers. ICLR 2022
View ArticleClik here to view.
Baldur: Whole-Proof Generation and Repair with Large Language Models.
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun: Baldur: Whole-Proof Generation and Repair with Large Language Models. CoRR abs/2303.04910 (2023)
View ArticleClik here to view.
Baldur: Whole-Proof Generation and Repair with Large Language Models.
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun: Baldur: Whole-Proof Generation and Repair with Large Language Models. ESEC/SIGSOFT FSE 2023: 1229-1241
View Article
