If you use consumer AI systems, you have likely experienced something like AI "brain fog": You are well into a conversation ...

Abstract: Mathematical functions are essential to software systems in areas like probabilistic modeling, simulation, and scientific computing. However, verifying their correctness becomes challenging ...

Abstract: Software-based fault tolerance enables the usage of standard hardware in safety-critical applications. Arithmetic coding is a promising approach for fault tolerance and is already used in ...