Calendar
Part 1 - Foundations and Review
- Week 1 Tuesday
- Introduction to AI for scientific discovery
- slides
- Week 1 Thursday
- Week 2 Tuesday
- Week 2 Thursday
- Homework
- HW 1 Release
- HW 1, HW 1 solution
Part 2 - Learning Scientific Models with AI
- Week 3 Tuesday
- Week 3 Thursday
- Week 4 Tuesday
- Week 4 Thursday
- Week 5 Tuesday
- Week 5 Thursday
- Week 6 Tuesday
- Week 6 Thursday
- Week 7 Tuesday
- Week 7 Thursday
- Midterm Project Proposal
- Midterm Proposal Release
- Latex template for proposal
- Week 8 Tuesday
- Week 8 Thursday
Part 3 - Invited Talks and Project Presentation
- Week 10 Tuesday
- Student paper presentation: NeruoSymbolic AI for Math.
- slides
- Week 10 Thursday
- Week 11 Tuesday
- Student paper presentation: .
- slides
- Week 11 Thursday
- Machine Learning with Automated Reasoning.
- slides, Daily Arxiv Tool
- Final Project
- Final Project Report Release
- Latex template for final report
- Week 12 Tuesday
- Paper presentation
- Week 12 Thursday
- Invited Talk: Dr. Md Masudur Rahman: AI for Burn analysis
- Week 13 Tuesday
- Paper presentation
- Week 13 Thursday
- Invited Talk: Dr. Md Ziyi Wang: Large language model compression via Sparse Quantized Sub-distributions.
- Week 14 Tuesday
- Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma.
- Week 14 Thursday
- Thanksgiving Day (No Lecture)
- Week 15 Tuesday
- Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma.
- Week 15 Thursday
- Invited Talk: Dr. Luoping Wang