Collection of Talks

This is a collection of talks I gave in conferences and meetings.

• AI and Mathematics: How Should We Learn, Prove, and Do Mathematics Now?, University of Illinois Springfield, 2026. (PDF · LaTeX source)
• Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs, 32nd International Conference on DNA Computing and Molecular Programming, Fayetteville, 2026. (PDF · LaTeX source)
• Bounded Analog Complexity, 32nd International Conference on DNA Computing and Molecular Programming, Fayetteville, 2026.
• Computing Real Numbers with Large-Population Protocols Having a Continuum of Equilibria, DNA 28, New Mexico, 2022.

Past talks →