Anthony Bordg - RankMe

19 papers B 2Journal 16Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving. CoRR Matthieu Zimmer, Xiaotong Ji, Rasul Tutunov, Anthony Bordg, Jun Wang, Haitham Bou-Ammar
2025	J	`jnl`	Complex Lattices, Elliptic Functions, and the Modular Group. Arch. Formal Proofs Manuel Eberl, Anthony Bordg, Wenda Li, Lawrence C. Paulson
2025	J	`jnl`	Dedekind Sums. Arch. Formal Proofs Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li
2024	B	`conf`	Formalising Half of a Graduate Textbook on Number Theory (Short Paper). ITP Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li
2023	B	`conf`	Encoding Dependently-Typed Constructions into Simple Type Theory. CPP Anthony Bordg, Adrián Doña Mateo
2023	J	`jnl`	Strict Omega Categories. Arch. Formal Proofs Anthony Bordg, Adrián Doña Mateo
2022	J	`jnl`	Simple Type Theory is not too Simple: Grothendieck's Schemes Without Dependent Types. Exp. Math. Anthony Bordg, Lawrence C. Paulson, Wenda Li
2021	J	`jnl`	Certified Quantum Computation in Isabelle/HOL. J. Autom. Reason. Anthony Bordg, Hanna Lachnitt, Yijun He
2021	—	`conf`	Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper). CICM Workshops Anthony Bordg, Nicolò Cavalleri
2021	J	`jnl`	Elements of Differential Geometry in Lean: A Report for Mathematicians. CoRR Anthony Bordg, Nicolò Cavalleri
2021	J	`jnl`	Grothendieck's Schemes in Algebraic Geometry. Arch. Formal Proofs Anthony Bordg, Lawrence C. Paulson, Wenda Li
2021	J	`jnl`	Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types. CoRR Anthony Bordg, Lawrence C. Paulson, Wenda Li
2020	J	`jnl`	Certified Quantum Computation in Isabelle/HOL. CoRR Anthony Bordg, Hanna Lachnitt, Yijun He
2020	J	`jnl`	Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information. Arch. Formal Proofs Anthony Bordg, Hanna Lachnitt, Yijun He
2019	J	`jnl`	Comment on "Quantum Games and Quantum Strategies". CoRR Anthony Bordg, Yijun He
2019	J	`jnl`	On a Model Invariance Problem in Homotopy Type Theory. Appl. Categorical Struct. Anthony Bordg
2018	J	`jnl`	Projective Geometry. Arch. Formal Proofs Anthony Bordg
2018	J	`jnl`	The Localization of a Commutative Ring. Arch. Formal Proofs Anthony Bordg
2017	J	`jnl`	Univalent Foundations and the UniMath Library. CoRR Anthony Bordg