Zulip Chat Archive

Stream: lean-gptf

Topic: Robust rewrites


view this post on Zulip Jesse Michael Han (Jan 29 2021 at 21:40):

Thanks to @Edward Ayers, we now automatically postprocess every rw [...] predicted by the model, using only the largest prefix of the provided rw rules that succeed. We have often noticed that the model will predict very long chains of rewrites and often the first few will succeed, so this should improve its success rate.


Last updated: May 18 2021 at 10:14 UTC