No AI tool was used to prove any of the results in the following papers.