EleutherAI/math-lm

Isabelle github data

wellecks opened this issue · 0 comments

wellecks commented

Add Isabelle to the process_github.py script. Some considerations:

  1. github contains multiple copies of the AFP
  2. the PISA evaluation set is built from the AFP