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