Neural and symbolic theorem proving

We develop theorem proving methods that leverage informal and formal representations. For example, Draft Sketch Prove uses language models to sketch formal proofs based on informal proofs, then fills in the gaps.

Related publications


  1. Sean Welleck
    In IJCAI 2023 Tutorial, 2023
  2. Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, and 6 more authors
    In The Eleventh International Conference on Learning Representations , 2023


  1. Sean Welleck, Jiacheng Liu, Ximing Lu, and 2 more authors
    In Advances in Neural Information Processing Systems, 2022


  1. Sean Welleck, Jiacheng Liu, Ronan Le Bras, and 3 more authors
    In Thirty-fifth Conference on Neural Information Processing Systems Datasets and Benchmarks Track (Round 1), 2021