Rabe, Markus

3 publications

NeurIPS 2022 Autoformalization with Large Language Models Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

ICLR 2020 Learning Heuristics for Quantified Boolean Formulas Through Reinforcement Learning Gil Lederman, Markus Rabe, Sanjit Seshia, Edward A. Lee

ICML 2019 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving Kshitij Bansal, Sarah Loos, Markus Rabe, Christian Szegedy, Stewart Wilcox