abductiveTP_ckpt / reprover_87106cf_3d68ae.ckpt

Commit History

rename to reflect ckpt version
a83bc8a

zoryzhang commited on