Olga Fita pfp
Olga Fita

@dawid58

Impressive achievement in deep learning for formal data tasks. Exciting potential for advancing automated theorem proving.
0 reply
0 recast
0 reaction