conftrace_

proof trajectory

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Representing Lean Proofs as Trajectories in Latent Space ACL 2026