Seguir
Markus N Rabe
Markus N Rabe
Startup
Dirección de correo verificada de augmentcode.com - Página principal
Título
Citado por
Citado por
Año
Temporal Logics for Hyperproperties
MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez
International Conference on Principles of Security and Trust (POST), 265-284, 2014
3122014
Algorithms for Model Checking HyperLTL and HyperCTL*
B Finkbeiner, MN Rabe, C Sánchez
Computer Aided Verification (CAV), 30-48, 2015
1812015
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
K Bansal, S Loos, M Rabe, C Szegedy, S Wilcox
International Conference on Machine Learning, 454-463, 2019
178*2019
Memorizing transformers
Y Wu, MN Rabe, DL Hutchins, C Szegedy
International Conference on Learning Representations, 2021
1622021
CAQE: A Certifying QBF Solver
MN Rabe, L Tentrup
Formal Methods in Computer-Aided Design (FMCAD), 136-143, 2015
1432015
Graph representations for higher-order logic and theorem proving
A Paliwal, S Loos, M Rabe, K Bansal, C Szegedy
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2967-2974, 2020
1142020
Autoformalization with large language models
Y Wu, AQ Jiang, W Li, M Rabe, C Staats, M Jamnik, C Szegedy
Advances in Neural Information Processing Systems 35, 32353-32368, 2022
942022
Model Checking Information Flow in Reactive Systems
R Dimitrova, B Finkbeiner, M Kovács, M Rabe, H Seidl
Verification, Model Checking, and Abstract Interpretation (VMCAI), 169-185, 2012
882012
Encodings of Bounded Synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2017
812017
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
G Lederman, M Rabe, EA Lee, SA Seshia
ICLR, 2020
76*2020
Incremental Determinization
MN Rabe, SA Seshia
Theory and Applications of Satisfiability Testing (SAT), 375-392, 2016
662016
Self-attention Does Not Need Memory
MN Rabe, C Staats
arXiv preprint arXiv:2112.05682, 2021
642021
Teaching temporal logics to neural networks
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2003.04218, 2020
59*2020
A Temporal Logic Approach to Information-flow Control
MN Rabe
Saarland University, 2016
552016
Lime: Learning inductive bias for primitives of mathematical reasoning
Y Wu, MN Rabe, W Li, J Ba, RB Grosse, C Szegedy
International Conference on Machine Learning, 11251-11262, 2021
522021
Maximum Model Counting
DJ Fremont, MN Rabe, SA Seshia
AAAI, 3885-3892, 2017
512017
Mathematical Reasoning via Self-supervised Skip-tree Training
MN Rabe, D Lee, K Bansal, C Szegedy
arXiv preprint arXiv:2006.04757, 2020
502020
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
MN Rabe, S Schewe
Acta Informatica 48, 291-315, 2011
422011
Learning to reason in large theories without imitation
K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman
arXiv preprint arXiv:1905.10501, 2019
392019
Baldur: Whole-proof generation and repair with large language models
E First, M Rabe, T Ringer, Y Brun
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
382023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20