Nicholas Jiang Introduction

Stream: new members

[Nicholas Jiang]

Hi there! My name is Nicholas and I just finished my BSc in Computer Science at the University of Waterloo and am applying to some graduate programs right now. I wanted to do work involving Lean ever since playing the Natural Number Game (NNG) https://adam.math.hhu.de/#/g/leanprover-community/nng4 . Right now I'm really interested in developing approaches/models to improve on relevant benchmarks for theorem provers such as PutnamBench. Happy to be a part of the community! I look forward to chatting with others. Here is my digital profile: https://script-jpg.github.io/profile/

[Justin Asher]

Hi Nicholas! I am looking forward to hearing more from you. There is a lot of work to be done in automated theorem proving.