zhang-2023-getting:
  type: misc
  title: Getting More out of Large Language Models for Proofs
  author:
  - Zhang, Shizhuo Dylan
  - Ringer, Talia
  - First, Emily
  date: 2023-05
  serial-number:
    arxiv: '2305.04369'