Docker is a widely used developer tool that first simplifies the assembly of an application stack (docker build), then allows for the rapid distribution of the resulting executabl ...
A marriage of formal methods and LLMs seeks to harness the strengths of both.
These tools are all things I find useful while doing any kind of Automatic Speech Recognition (ASR) research. These are things I wish had existed when I was first learning about ASR and so I thought I ...