The difficult legacy of Turing's wager. - Andrew Thwaites; Andrew A. S. Soltan; Eric Wieser; Ian Nimmo-Smith (J. Comput. Neurosci., 2017)

Array programming with NumPy. - Charles R. Harris; K. Jarrod Millman; Stéfan van der Walt; Ralf Gommers; Pauli Virtanen; David Cournapeau; Eric Wieser; Julian Taylor 002; Sebastian Berg; Nathaniel J. Smith; Robert Kern; Matti Picus; et al. (Nat., 2020)

Scalar actions in Lean's mathlib (short paper). - Eric Wieser (CICM Workshops, 2021)

Scalar actions in Lean's mathlib. - Eric Wieser (CoRR, 2021)

Formalizing Geometric Algebra in Lean. - Eric Wieser; Utensil Song (CoRR, 2021)

Graded Rings in Lean's Dependent Type Theory. - Eric Wieser; Jujian Zhang (CICM, 2022)

Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies. - Eric Wieser (CICM, 2023)

Multiple inheritance hazards in algebraic typeclass hierarchies. - Eric Wieser (CoRR, 2023)

Chaining Extensionality Lemmas in Lean's Mathlib. - Eric Wieser (CICM, 2024)