A startup called Imandra Inc. says it’s taking artificial intelligence-driven code completion to the next level with the launch of an entirely new and automated reasoning system called CodeLogician.

Test-time scaling (TTS) has emerged as a proven method to improve the performance of large language models in real-world applications by giving them extra compute cycles at inference time. However, ...