Welcome to Agiel AI
We are an artificial inteligence startup that aims at creating an ai capable of automated proof generation and software verification. To do so we create 3 types of models:
General merged llms
These are our weakest models in term of benchmark results but they constitute the foundation of our more advanced models.
finetuned llms
These llms are finetuned on custom datasets that make them experts in certain domains. They can later be used as experts as part of a moerges.
finetuned merged llms and moerges
These models are our best models as they have the best results on common benchmarks.