Login / Signup
Garett Cunningham
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Concurrent Programs
Decision Trees
Mathematical Knowledge
School Children
Top Venues
CoRR
</>
Publications
</>
Garett Cunningham
,
Razvan C. Bunescu
,
David Juedes
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs.
CoRR
(2023)