s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs Paper • 2603.14628 • Published about 1 month ago • 3