Shifting left for early detection of machine-learning bugs
Published in Formal Methods Industry Day (FM), 2023
Recommended citation: Ben Liblit, Linghui Luo, Alejandro Molina Ramirez, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, and Willem Visser. "Shifting left for early detection of machine-learning bugs." Formal Methods Industry Day (FM), 2023.
