Lean4trace: Data augmentation for neural theorem proving in Lean

tba

Submitted (2024)

V. Nesterov, Y. Kapushev, M. Burtsev