Courses
Designing & Implementing Data Pipelines
Synthesising Data for Scientific Discovery
Data Science for Humanities
Using GPUs for Scientific Computing
Formalising Proofs & GenAI for Maths Discovery
Generative AI for Medical Research
About us
Contact
[ Formalising Proofs and
GenAI for Mathematical Discovery]
Launching June, 2025
