🔗 Who cites «Formalising perfectoid spaces»

9 papers of our library cite it (of the 149,439 whose bibliographies we read) · 9 with a page here, the most cited first · ← back to «Formalising perfectoid spaces»

1. The Lean mathematical libraryACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)The mathlib Community2019 · 249 citations
2. The Lean 4 Theorem Prover and Programming Language (System Description)CADE-28 (LNCS 12,699), SpringerLeonardo de Moura, Sebastian Ullrich2021 · 155 citations
3. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
4. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
5. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
6. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
7. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Yifan Wu, Zhaoyu Li, et al.2024 · 19 citations
8. Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformersConference on Neural Information Processing Systems (NeurIPS)Alberto Alfarano, François Charton, Amaury Hayat2024 · 19 citations
9. GFLean: An Autoformalisation Framework for Lean via GFarXiv:2404.01234Shashank Pathak2024 · 5 citations

This page in Markdown → https://md.research.elamur.ai/free/en/papers/buzzard-2019-formalising-perfectoid-spaces/cited-by/