Thanks for the heads up about paperlater! AI is indeed a crucial part in solving the two most difficult challenges -- typesetting and curation, although we'll

Thanks for the heads up about paperlater! AI is indeed a crucial part in solving the two most difficult challenges -- typesetting and curation, although we'll probably do things that don't scale for a little while before fully automating.