activity
20212026
most citedSynchromesh: Reliable code generation from pre-trained language models

66 citations · 130 across the 22 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2025

Automated Discovery of Tactic Libraries for Interactive Theorem Proving

Yutong Xin, Jimmy Xin, Gabriel Poesia +3

Enabling more concise and modular proofs is essential for advancing formal reasoning using interactive theorem provers (ITPs). Since many ITPs, such as Rocq and Lean, use tactic-st…