It’s a breakthrough in the field of random walks.

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

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

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

NOTICE: The project that is the subject of this report was approved by the Governing Board of the National Research Council, whose members are drawn from the councils of the National Academy of ...

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 ...

Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb. If you are not already enrolled as a student at UiO, ...

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.