PandasBench: A Benchmark for the Pandas API. - Alex Broihier; Stefanos Baziotis; Daniel Kang; Charith Mendis (CoRR, 2025)