ChrSzegedy
@0808405080840583
Transformers solve an open problem in symbolic mathematics: discovering Lyapunov functions, joint work with Alberto Alfarano and @Amaury_Hayat. My talk in IAIFI today (starts at 5:00) https://t.co/mURoOeDw5s
0 reply
0 recast
0 reaction