Следене
Markus N Rabe
Markus N Rabe
Augment
Потвърден имейл адрес: augmentcode.com - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
3672014
Memorizing transformers
Y Wu, MN Rabe, DL Hutchins, C Szegedy
International Conference on Learning Representations, 2021
2762021
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
209*2019
Algorithms for Model Checking HyperLTL and HyperCTL*
B Finkbeiner, MN Rabe, C Sánchez
Computer Aided Verification (CAV), 30-48, 2015
2002015
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
1762022
CAQE: A Certifying QBF Solver
MN Rabe, L Tentrup
Formal Methods in Computer-Aided Design (FMCAD), 136-143, 2015
1562015
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
1432020
Self-attention Does Not Need Memory
MN Rabe, C Staats
arXiv preprint arXiv:2112.05682, 2021
1292021
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
1282023
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
932012
Encodings of Bounded Synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2017
882017
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
G Lederman, M Rabe, EA Lee, SA Seshia
ICLR, 2020
80*2020
Teaching temporal logics to neural networks
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2003.04218, 2020
792020
Incremental Determinization
MN Rabe, SA Seshia
Theory and Applications of Satisfiability Testing (SAT), 375-392, 2016
682016
A Temporal Logic Approach to Information-flow Control
MN Rabe
Saarland University, 2016
652016
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
612021
Maximum Model Counting
DJ Fremont, MN Rabe, SA Seshia
AAAI, 3885-3892, 2017
582017
Mathematical Reasoning via Self-supervised Skip-tree Training
MN Rabe, D Lee, K Bansal, C Szegedy
arXiv preprint arXiv:2006.04757, 2020
552020
Learning to reason in large theories without imitation
K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman
arXiv preprint arXiv:1905.10501, 2019
472019
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
MN Rabe, S Schewe
Acta Informatica 48, 291-315, 2011
432011
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20