EW
Eric Wieser
cs.LOMathematicscs.AIAlan TuringArtificial IntelligenceCIECAM02CIELABColour perceptionComputational neurosciencecs.MS
On Valency
published · living versionsW_urnpwkud·v1 · currentpublished
Array Programming with NumPy
with Charles R. Harris, K. Jarrod Millman, Stéfan J. van der Walt, Ralf Gommers +21
1 version
Preprints & journals
10 papers in the corpus · 2017–2026Advancing mathematics research with AI-driven formal proof search.42848891 · Tsoukalas, George, Kovsharov, Anton, Shirobokov, Sergey et al.2026 · 3 citationsScience (New York, N.Y.). 2026;394(6820):234-239
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics2605.13171v1 · Moritz Firsching, Paul Lezeau, Salvatore Mercuri et al.2026 · 0 citationsarXiv
Olympiad-level formal mathematical reasoning with reinforcement learning.41225005 · Hubert, Thomas, Mehta, Rishi, Sartran, Laurent et al.2026 · 19 citationsNature. 2026;651(8106):607-613
Multiple-inheritance hazards in dependently-typed algebraic hierarchies2306.00617v2 · Eric Wieser2023 · 4 citationsarXiv
Thermobar: An Open-Source Python3 Tool for Thermobarometry and Hygrometryx5fd0k · Penny Wieser, Maurizio Petrelli, Jordan Lubbers et al.2022 · 85 citationsEarthArXiv
Formalizing Geometric Algebra in Lean2110.03551v2 · Eric Wieser, Utensil Song2021 · 4 citationsAdvances in Applied Clifford Algebras 32, Article 28 (2022)
Scalar actions in Lean's mathlib2108.10700v1 · Eric Wieser2021 · 0 citationsWorkshop Papers of the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Timisoara, Romania, July 26 - 31, 2021, https://ceur-ws.org/Vol-3377/fmm11.pdf
Array programming with NumPy.32939066 · Harris, Charles R, Millman, K Jarrod, van der Walt, Stéfan J et al.2020 · 23,571 citationsNature. 2020;585(7825):357-362
Entrainment to the CIECAM02 and CIELAB colour appearance models in the human cortex.29608936 · Thwaites, Andrew, Wingfield, Cai, Wieser, Eric et al.2018 · 25 citationsVision research. 2018;145:1-10
The difficult legacy of Turing's wager.28643213 · Thwaites, Andrew, Soltan, Andrew, Wieser, Eric et al.2018 · 4 citationsJournal of computational neuroscience. 2017;43(1):1-4
Career total: 29 works. 10 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.