The twin catalysts poised to accelerate twenty-first century mathematics: formalisation and machine learning.
The first EurIPS: AI research meets business in Copenhagen.
Live updates with highlights from the main conference, expo, and workshops at ICLR in Singapore.
Live coverage from Vancouver: tutorials, posters, invited talks, workshops, expo and competitions.