Want to be an ARIA Programme Director with me?You can even build a programme in an existing opportunity space, like “Mathematics for Safe AI,” e.g. using AI to synthesize formally verified…

Posters: davidad. davidad

3 likes recorded by the source corpus.