Here is a recent document with much more references:
https://aria.org.uk/wp-content/uploads/2023/10/ARIA-Mathematics-and-modelling-are-the-keys-we-need-to-safely-unlock-transformative-AI-v01.pdf
And some highlights are available on this page:
https://www.matsprogram.org/provable
Here is a recent document with much more references:
https://aria.org.uk/wp-content/uploads/2023/10/ARIA-Mathematics-and-modelling-are-the-keys-we-need-to-safely-unlock-transformative-AI-v01.pdf
And some highlights are available on this page:
https://www.matsprogram.org/provable