| Apr 5, 2025 | I’m going to participate in the “Autoformalization for the Working Mathematician” workshop. This is a hands-on, multi-day workshop with great talks and a hackathon. I’m sure that many interesting things in the space of Lean and LLM-based agentic AI will emerge from it. I believe that now is the time of automatic Lean, but we’re not quite there yet. |
| Feb 1, 2025 | This semester, I’m teaching AI at Mount Holyoke. It is a fantastic time to teach that class. |
| Jan 4, 2025 | This year, I’m acting again as publication chair for AISTATS 25. Unfortunately, I won’t be able to attend the meeting. |
| Jul 16, 2024 | I presented our work on SAA for VI at UAI 2024. There were very interesting discussions. |
| Mar 1, 2024 | This year, I’m acting as the publication chair for AISTATS 2024. It is an amazing excuse to read many many papers. |
| Feb 20, 2024 | This semester, I’m visiting Mount Holyoke College Mount Holyoke College. I’ll be teaching “Data Structures and Introduction to Java.” |
| Sep 12, 2023 | I gave a talk at basis.ai and presented our work on Sample Average Approximation for VI and U-statistics for IWVI. It was very enjoyable to give a talk and discuss with such a thoughtful audience. Thanks to Zenna for the invitation! |
| Jul 20, 2023 | I will be attending AABI and ICML 2023 in Hawaii. Feel free to stop by and say hi! |