LEAN

Lean adalah bahasa pemrograman sumber terbuka yang digunakan oleh model Aristotle untuk menghasilkan jawaban yang akurat. Teknologi ini memungkinkan verifikasi hasil tanpa melibatkan AI, memastikan keakuratan solusi yang diberikan.