Craig Alan Feinstein (Jan 04 2026 at 02:29): Craig Alan Feinstein (Jan 04 2026 at 02:29):I submitted a theory to the AFP, but discovered a way to improve a sentence in my text comments. Is it better to wait until the reviewers look at my theory first and tell them my improvement or resubmit my theory now?
Yosuke Ito (Jan 04 2026 at 09:14):I'm not sure. It may depend on the revierer.
If you don't get a reply on Zulip, maybe you want to ask on the mailing list or contact the reviewer directly.
Craig Alan Feinstein (Jan 04 2026 at 14:04):I got an automatic reply a few weeks ago that the AFP editors were notified of my submission but haven’t heard anything else yet.
Craig Alan Feinstein (Jan 04 2026 at 19:49):Yosuke I saw you did the actuarial mathematics theory. That is my line of work.
Craig Alan Feinstein (Jan 04 2026 at 23:47):Yosuke one of the reasons I got into Isabelle is because I thought maybe I could somehow prove my actuarial programming could be verified by Isabelle. At this point I’m not sure if this is feasible.
Yosuke Ito (Jan 06 2026 at 02:41):Thank you for your continued interest in my work.
At the moment, the progress of my project is rather slow, as I am working on it alongside full-time job, which limits the time I can devote to research.
I would greatly appreciate your patience and understanding.
Yong Kiam (Jan 06 2026 at 14:23):Craig Alan Feinstein said:
I submitted a theory to the AFP, but discovered a way to improve a sentence in my text comments. Is it better to wait until the reviewers look at my theory first and tell them my improvement or resubmit my theory now?
I have ran into this scenario before. In that case, I resubmitted with a comment that this is a resubmit and I described the change I made
Craig Alan Feinstein (Jan 06 2026 at 23:57):Thank you Yong, on your advice I just resubmitted with a comment.
Last updated: Jan 16 2026 at 08:33 UTC