This page shows all presentations of this author published in EasyChair Smart Slide.
S2n-Bignum-Bench: a Practical Benchmark for Evaluating Low-Level Code Reasoning of LLMs
Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee and Carlo Lipizzi