Login / Signup
Evan Wilson
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Third Party
Ai Systems
Semi Automated
Lightweight
Top Venues
CoRR
Ars Math. Contemp.
</>
Publications
</>
Neal Bushaw
,
Blake Conka
,
Vinay Gupta
,
Aidan Kierans
,
Hudson Lafayette
,
Craig E. Larson
,
Kevin McCall
,
Andriy Mulyar
,
Christine Sullivan
,
Scott Taylor
,
Evan Wainright
,
Evan Wilson
,
Guanyu Wu
,
Sarah Loeb
Bootstrap percolation via automated conjecturing.
Ars Math. Contemp.
23 (3) (2023)
Maxime Gariel
,
Brian Shimanuki
,
Rob Timpe
,
Evan Wilson
Framework for Certification of AI-Based Systems.
CoRR
(2023)