Statistics
Publications
3
Citations
115
H-Index
3
Active since
2017
Affiliations
TU Wien(Current)
Gabriel Ebner is an author at TU Wien specializing in computer science, engineering, and formal methods.
Publications per year
2017–2022
3
3
HyperTree Proof Search for Neural Theorem Proving
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril et al. · arXiv (Cornell University) · 2022 · 24 citations · Full text
Artificial Intelligence, Hypertree Proof Search, Engineering +12
On the Generation of Quantified Lemmas
Gabriel Ebner, Stefan Hetzl, Alexander Leitsch et al. · Journal of Automated Reasoning · 2018 · 12 citations · Full text
1–3 of 3