Search papers, labs, and topics across Lattice.
1
0
2
GraphAlignCoder boosts code generation accuracy by 31.6% to 43.8% by embedding formal proof structures into the training process.
