Data-driven lemma synthesis for interactive proofs. - Aishwarya Sivaraman; Alex Sanchez-Stern; Bretton Chen; Sorin Lerner; Todd D. Millstein (Proc. ACM Program. Lang., 2022)