Junyan Xu

icon indicating an email [email protected]

icon location Heidelberg / Shenzhen icon location PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Results 2 repositories owned by Junyan Xu

lz

28
Stars
8
Forks
Watchers

Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

verified publisher icon alreadydone

contents

15
Stars
2
Forks
Watchers

GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.

verified publisher icon alreadydone