Chenyang An's picture

Chenyang An

chenyangan

https://chenyang-an.github.io/

chenyang-an-912973139

AI & ML interests

None yet

Recent Activity

authored a paper 1 day ago

QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems

View all activity

Organizations

None yet

Papers 1

arxiv:2604.24021

models 0

None public yet

datasets 0

None public yet