AI4CO
ai4co
Open research community in Artificial Intelligence (AI) for Combinatorial Optimization (CO)
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
wrongu
Assistant Professor at RIT. Brains, Representations, AI, and Neuroscience.
Rochester Institute of Technology