Xuenan Cao

FKEA offers a fresh way to assess generative models without needing reference datasets.

2025-07-20T04:38:12+00:00 ― 5 min read

Using AI to write formal proofs for challenging math problems reveals new pathways.

2025-05-05T03:57:20+00:00 ― 9 min read