arXiv2023December