AI・機械学習
Show HN: AIプロジェクト向けGoogle ZanzibarベースのLean4 Datalog DSL
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)
要約
Google Zanzibarの概念をLean4（および他の言語）で利用可能なDSL（ドメイン固有言語）として一般化するプロジェクトです。これにより、外部インフラストラクチャに依存せず、Gitで管理しながら知識ベースを構築、保存、評価、改善することが可能になります。
全文翻訳
Google Zanzibarのダラログ言語は、概念を記述し、それらがどのように関連しているかを表現することを可能にします。
私はこれをLean4（および他の言語）で使用できるDSLに一般化しました。
これにより、構築、保存、評価できる知識ベースを表現し、Gitで管理しながら、大規模なエンジンや外部インフラストラクチャに依存することなく改善できます。