Lean

Lean (test)

14

Lean 4 (val)

6

Lean Augmented Statement

4

Lean Synthetic User Query (Sec. 3.1)

4

Lean Informalized Statement

4

Lean Augmented Statement cleaned (test)

2

Lean Synthetic User Query cleaned (test)

2

Lean Informalized Statement cleaned (test)

2