Channel equalization algorithms to reduce noise and distortion in wireless communication systems.

Detect numerical instability in ML applications using learned invariants (Soft Assertions) without modifying model logic. ACM FSE 2025.

Floating-point program random generator