My first official document with @ARIA_research is out!I’m focusing on opportunities tocombine LLMs with formal methods and mathematical modelling to verify cyber-physical AI systems,ultimately…

Posters: davidad. davidad

9 likes recorded by the source corpus.

Topics: AI & LLMs, AI safety

View Post: https://x.com/davidad/status/1719770184565530890