By explicitly modeling each step of a problem and gradually fading away supports, teachers can give students a clear path to mastering new content.

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

A marriage of formal methods and LLMs seeks to harness the strengths of both.

Look closely at this image, stripped of its caption, and join the moderated conversation about what you and other students see. By The Learning Network Look closely at this image, stripped of its ...

The contents of the course may vary from year to year but will be based on: (1) a further logical and philosophical study of classical propositional and predicate logic; (2) a logical and ...

HELM (Helping Engineers Learn Mathematics) Workbooks have been developed to assist engineering students learn the mathematics and statistics that they will need at university. This work is licensed ...

These are a collection of notes for courses I took at Harvard, from 2015 to 2019. All of them are live-TeXed, and please use at own risk.