TU Dortmund University — Germany
Computer Science · Physical Sciences
17h-index1.4kcitations65works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(30), Logic, programming, and type systems(20), Machine Learning and Algorithms(11), Topic Modeling(10), Natural Language Processing Techniques(10)
Publications65 total
arXiv (Cornell University)·2023· 2 citedOpen Access
Figshare·2023Open Access
arXiv (Cornell University)·2022· 41 citedOpen Access
arXiv (Cornell University)·2022· 39 citedOpen Access
arXiv (Cornell University)·2021· 17 citedOpen Access
arXiv (Cornell University)·2021· 1 citedOpen Access
Mathematical Reasoning via Self-supervised Skip-tree Training
International Conference on Learning Representations·2021· 13 cited
arXiv (Cornell University)·2021· 9 citedOpen Access
Lecture notes in computer science·2021· 8 citedOpen Access
arXiv (Cornell University)·2020· 13 citedOpen Access
arXiv (Cornell University)·2020· 3 citedOpen Access
Mathematical Reasoning in Latent Space
International Conference on Learning Representations·2020· 15 cited
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning
eScholarship (California Digital Library)·2020· 17 cited
Proceedings of the AAAI Conference on Artificial Intelligence·2020· 12 citedOpen Access
arXiv (Cornell University)·2020· 4 citedOpen Access
arXiv (Cornell University)·2020· 4 citedOpen Access
page 1 of 4Next →
Frequent Co-authors
Christian Szegedy(14), Kshitij Bansal(10), Bernd Finkbeiner(9), Sanjit A. Seshia(8), Sarah M. Loos(7), Sven Schewe(7), Dennis Lee(5), Leander Tentrup(4), César Sánchez(3), Stewart Wilcox(3), Yuhuai Wu(3), Gil Lederman(3), Edward A. Lee(3), John Fearnley(3), Emily First(2), Talia Ringer(2), Yuriy Brun(2), Rayna Dimitrova(2), Charles Staats(2), Lijun Zhang(2)