متعددة

يقوم Framework من Verifai مفتوح المصدر بإنشاء رمز عن طريق استدعاء LLMs بالتوازي ويصنف مخرجاتها للعثور على أفضل النتائج.يمكن تمديد multillm لدعم LLMs الجديدة ووظيفة التصنيف المخصص لتقييم مجموعة متنوعة من المخرجات من LLMs.