Tiark Rompf

Identifiers

• name variant Tiark Rompf 0.60 · backfill

Papers (5)

1. Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers cs.AI · 2019 · author #5
2. AutoGraph: Imperative-style Coding with Graph-based Performance cs.PL · 2018 · author #8
3. From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero cs.AI · 2018 · author #2
4. Flare: Native Compilation for Heterogeneous Workloads in Apache Spark cs.DB · 2017 · author #6
5. From F to DOT: Type Soundness Proofs with Definitional Interpreters cs.PL · 2015 · author #1

Mentions

• 1510.05216 #1 · backfill · confidence 0.70 Tiark Rompf

Frequent Coauthors

• Fei Wang 3 shared papers
• Alexander B Wiltschko 1 shared papers
• Andrew A Johnson 1 shared papers
• Brian K Lee 1 shared papers
• Dan Moldovan 1 shared papers
• D Sculley 1 shared papers
• Gr\'egory M. Essertel 1 shared papers
• Guannan Wei 1 shared papers
• James M Decker 1 shared papers
• James M. Decker 1 shared papers
• Kevin J. Brown 1 shared papers
• Kunle Olukotun 1 shared papers
• Nada Amin 1 shared papers
• Ruby Y. Tahboub 1 shared papers
• Zachary Nado 1 shared papers
• Zhanfu Yang 1 shared papers
• Ziliang Chen 1 shared papers