conftrace_

lean proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof trajectory (1) state-change encoding (1) latent space analysis (1) theorem proving (1)

Papers

Representing Lean Proofs as Trajectories in Latent Space ACL 2026