AIDAN - Neuro-Symbolic Matematiksel Akıl Yürütme Ajanı
Diğer Yazılım Teknoloji
AIDAN; Transformer, MCTS ve Lean 4 formel doğrulayıcısını birleştiren nöro-sembolik bir AI ajanıdır. Yapay zeka halüsinasyonlarını engelleyerek sembolik problemleri tam doğrulukla çözer ve matematiksel olarak doğrular.
Bu portfolyoyu beğendin mi? O zaman ilk yorumu sen yap...
