LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine arxiv.org 2 points by PaulHoule 13 days ago