IsarStep: a Benchmark for High-level Mathematical Reasoning.

Wenda Li Lei Yu Yuhuai Wu Lawrence C. Paulson

Published in: ICLR (2021)

Keyphrases

legal reasoning
high level
low level
low level features
real time
higher level
learning algorithm
neural network
real world
information retrieval
natural language
programming language
source code
meta level