26 citations · 32 across the 2 of their papers we have counts for
2 papers
cs.AI2022★ 26 cited
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Albert Q. Jiang, Sean Welleck, Jin Peng Zhou +6
The formalization of existing mathematical proofs is a notoriously difficult process. Despite decades of research on automation and proof assistants, writing formal proofs remains…
cs.LG2020★ 6 cited
On Attribution of Deepfakes
Baiwu Zhang, Jin Peng Zhou, Ilia Shumailov +1
Progress in generative modelling, especially generative adversarial networks, have made it possible to efficiently synthesize and alter media at scale. Malicious individuals now re…