1 paper
Hang Zhang, Qihao Ye, Litong Liu +7
Neural theorem proving increasingly uses retrieved premises and project context to support proof generation. Evaluating these resources requires measuring the advantage of target-s…