Links for autoformalism-with-llms