Simon comments

Repositories
Issues
Comments

Results 54 comments of


                                            Simon

More efficient batch inference resulting in large-v2 with *60-70x REAL TIME speed (now in custom v3 branch, see comment for details)

The quicker fix would certainly be exporting the pyannote model to ONNX. Should speed it up too.

Adding lean4 as language

That would be super useful, agreed!!

Add syntax node kinds to syntax json

Thanks for the review @kim-em! Added a test now. Sadly, testing the theorem procedure described above requires a full infotree. I tried to keep the example as minimal as possible,...

Unable to run whisperx offline

Maybe #263 can help you