Ebner, Gabriel

HyperTree Proof Search for Neural Theorem Proving

Lample, G., Lachaux, M.-A., Lavril, T., Martinet, X., Hayat, A., Ebner, G., Rodriguez, A., & Lacroix, T. (2022) · arXiv

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 45

HyperTree Proof Search for Neural Theorem Proving

Lample, G., Lacroix, T., Lachaux, M.-A., Rodriguez, A., Hayat, A., Lavril, T., Ebner, G., & Martinet, X. (2022) · Advances in Neural Information Processing Systems 35

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 45

Maintaining a Library of Formal Mathematics

van Doorn, F., Ebner, G., & Lewis, R. Y. (2020) · Lecture Notes in Computer Science

Logic, programming, and type systemsMathematics, Computing, and Information Processing

Cited by 29