Markus N. Rabe

CAQE: A Certifying QBF Solver

Markus N. Rabe, Leander Tentrup · 2015 · 101 citations

Engineering, Verification, Software Analysis +16

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

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe et al. · International Conference on Machine Learning · 2019 · 68 citations

Computational Logic, Engineering, Machine Learning +7

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

Emily First, Markus N. Rabe, Talia Ringer et al. · 2023 · 67 citations

Engineering, Verification, Automated Proof +19

Autoformalization with Large Language Models

Yuhuai Wu, Albert Q. Jiang, Wenda Li et al. · arXiv (Cornell University) · 2022 · 41 citations · Full text

Artificial Intelligence, Engineering, Verification +19

Memorizing Transformers

Yuhuai Wu, Markus N. Rabe, DeLesley Hutchins et al. · arXiv (Cornell University) · 2022 · 39 citations · Full text

Natural Language Processing, Large Language Models, Retrieval Augmented Generation +15