We are company dedicated to developing, maintaining & advancing state-of-the-art Large Language Models for various advanced applications in science and industry. Our customers are many of the largest companies in their sectors.

We use mathematics to develop reliable and certified software. Software we deliver comes with proofs of correctness and with significant mathematical calculations regarding reliability, in case of LLMs.