Workshop, Save the date: Large Language Models for Mathematics and Programming
Workshop
by
Chalmers
2024-08-21 09:00
–
2024-08-21 16:00
Today, large language models are used in a range of areas. In this workshop we will focus on their use in mathematics and programming. In particular, LLMs can augment proof assistants, helping users to go from mathematics described informally in English to representations that can be checked by the proof assistant (autoformalisation).
Proofs in proof assistants resemble programs, so generating proof-scripts is not too dissimilar from program synthesis, which is also a topic of this workshop. Here, we might not only want to synthesise programs in a given language, but perhaps even augment the language with new constructs, abstractions and functions.
Location: OOTO 4:an, Chalmers Campus Johanneberg
Sweden
launch
Education