Ola Svensson

LLMs can now tackle complex TCS proof generation with a benchmark that achieves over 90% accuracy in verification against human experts.

Achieving hallucination-free language generation with significantly reduced memory requirements reveals a sharp transition in capabilities that could redefine efficiency in language models.