李城(大橙子)
yuancaimaiyi
3D Reconstruction and bundle adjustment , Photogrammetry
Photogrammetry master(2016.09-2019.07)
UISEE(shanghai) ->wayz.ai(chengdu) chengdu
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen