Representing Lean Proofs as Trajectories in Latent Space.

Elisaveta Samoylov, Soroush Vosoughi

Browse the full ACL paper archive.