Carlo Lipizzi

Identifiers

No identifiers captured yet.

Papers (1)

1. s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs cs.PL · 2026 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Balaji Rao 1 shared papers
• John Harrison 1 shared papers
• Juneyoung Lee 1 shared papers
• Soonho Kong 1 shared papers