File extension after encoding

[yahya280101]

Hello : )

Wonderful work, thanks for this amazing contribution!

I was just wondering after encoding what file extension to use or how to save the tokens in a compressable way such that it gives me the right kbps.

example what I have in mind is if I have an audio file which is 10 seconds and I use the 0.31, I hit a file size of 378.5 bytes, right ?. So what extension is used for that?

Thanks a lot!

P.s : apologies if the question is too basic : )

[haoheliu]

For example you can save the array with torch.save? The extension in that case does not matter.