1 paper
Haoxin Tu, Huan Zhao, Yahui Song +3
Automatically generated code is gaining traction recently, owing to the prevalence of Large Language Models (LLMs). Further, the AlphaProof initiative has demonstrated the possibil…