Markus N. Rabe

55 papers A* 8A 4B 4Journal 28Unranked 10

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