A startup known as Imandra Inc. says it’s taking synthetic intelligence-driven code completion to the subsequent degree with the launch of a completely new and automatic reasoning system known as CodeLogician. In contrast to different massive language fashions designed particularly for code completion duties, akin to GitHub Inc.’s Copilot, CodeLogician is alleged to be primarily based on a brand new idea […]
The publish Imandra’s new AI coding assistant CodeLogician uses ‘reasoning’ to guarantee the accuracy of its code appeared first on SiliconANGLE.
发布者:Mike Wheatley,转转请注明出处:https://robotalks.cn/imandras-new-ai-coding-assistant-codelogician-uses-reasoning-to-guarantee-the-accuracy-of-its-code/