Sotabase

Career

· Google Research

Publications (57)

Temporal Logics for Hyperproperties
The post · 2013
315
cited
Autoformalization with Large Language Models
Neural Information Processing Systems · 2022
240
cited
Memorizing Transformers
International Conference on Learning Representations · 2022
211
cited
Self-attention Does Not Need $O(n^2)$ Memory
2021
181
cited
Algorithms for Model Checking HyperLTL and HyperCTL ^*
International Conference on Computer Aided Verification · 2015
178
cited
Baldur: Whole-Proof Generation and Repair with Large Language Models
ESEC/SIGSOFT FSE · 2023
143
cited
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
International Conference on Machine Learning · 2019
130
cited
CAQE: A Certifying QBF Solver
Formal Methods in Computer-Aided Design · 2015
125
cited
Graph Representations for Higher-Order Logic and Theorem Proving
AAAI Conference on Artificial Intelligence · 2019
109
cited
Teaching Temporal Logics to Neural Networks
International Conference on Learning Representations · 2020
76
cited
Model Checking Information Flow in Reactive Systems
International Conference on Verification, Model Checking and Abstract Interpretation · 2012
69
cited
A temporal logic approach to iInformation-flow control
2016
65
cited
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
International Conference on Machine Learning · 2021
64
cited
Mathematical Reasoning via Self-supervised Skip-tree Training
International Conference on Learning Representations · 2020
64
cited
Encodings of Bounded Synthesis
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2017
63
cited
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)
arXiv.org · 2019
54
cited
Incremental Determinization
International Conference on Theory and Applications of Satisfiability Testing · 2016
49
cited
Maximum Model Counting
AAAI Conference on Artificial Intelligence · 2017
47
cited
Learning to Reason in Large Theories without Imitation
arXiv.org · 2019
44
cited
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
Acta Informatica · 2010
41
cited
Sotabase
Markus Rabe | Researcher Profile | Sotabase | Sotabase