conftrace_

state-change encoding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

lean proof (1) proof trajectory (1) latent space analysis (1) theorem proving (1)

Papers

Representing Lean Proofs as Trajectories in Latent Space ACL 2026