Previous
Previous
Yao co-organized a Summer School at the Princeton Math Department and taught a lecture series on neural networks. Exciting to discuss how AI can facilitate accurate numerics for mathematical proofs.
Next
Next