A newer version of the Gradio SDK is available:
5.23.3
This code is taken from https://github.com/yangdongchao/AcademiCodec/tree/master
It is their version of encodec that is sampled at 16kHz, which the original encodec repository does not offer. The download of the necessary files should happen in the run_downloader.py script automatically.