From Statistical Code Generation to Correct-by-Construction AI Programming: A Basis-Function Composition Framework
🔗 https://www.semanticscholar.org/paper/e8094ac42279ccf6a2111a896e5222a7c390ea06 ↗From Statistical Code Generation to Correct-by-Construction AI Programming: A Basis-Function Composition Framework.
內容為收集當日抓取的摘要原文。