Skip to the content.

Schedule

Week 1

Tuesday, September 2

First day of class. TF Matthew Retchin lead a discussion on the taxonomy of neurosymbolic programming.

Thursday, September 4

TF Matthew Retchin leads an introductory session.

Week 2

Tuesday, September 9

Gabriel Poesia, incoming Kempner fellow, will give a guest lecture.

Thursday, September 11

No class.

Week 3

Tuesday, September 16

We set the schedule for the course.

Thursday, September 18

Prof. Nada Amin discusses her work at the intersection of formal verification and LLMs.

Week 4

Tuesday, September 23

Simon leads a session on mathematical reasoning with LLMs.

Thursday, September 25

Dennis leads a session on constraint decoding, grammar aligned and semantically constrained.

Week 5

Tuesday, September 30

Valerio leads a session on program synthesis and library learning, with a focused reading on DreamCoder (PLDI’21 edition).

Thursday, October 2

Paul Krogmeier, postdoctoral fellow, will give a guest lecture. Some papers:

Week 6

Tuesday, October 7

Mike leads a session on automated theorem proving.

TODO: select a set of papers to study, including a reading of the day.

Thursday, October 9

Jeremy leads a session on programming prompts.

Week 7

Tuesday, October 14

Richael leads a session on jailbreaking and particular solutions involving PL+AI.

Thursday, October 16 (Assignment 1 Due)

Joker class.

Week 8

Tuesday, October 21

Milligan leads a session on evaluating “intelligence”.

Thursday, October 23

Suhwan leads a session on neural causal modeling.

Week 9

Tuesday, October 28 (Project Proposals Due)

Zekai leads a session focusing on Statically Contextualizing Large Language Models with Typed Holes (OOPSLA’24).

Thursday, October 30

Discussion on project proposals.

Week 10

Tuesday, November 4

Thursday, November 6

Week 11

Tuesday, November 11

Thursday, November 13

Week 12

Student Presentations of their Ongoing Projects

Tuesday, November 18

Thursday, November 20

Week 13

Tuesday, November 25

Project workout.

Thursday, November 27

Thanksgiving.

Week 14

Tuesday, December 2

Last day of class.