close fullscreen

Hyperon AI Algorithms+AI-DSL

help edit space_dashboard
Responsible: Nil Geisweiller

A type-driven program synthesizer that automatically assembles AI workflows. Uses backward chaining in MeTTa with dependent types and combinatory logic to compose services from the SingularityNET marketplace.

  • GitHub
</> Example Implementation
Type-driven composition
Shows AI-DSL's automatic composition of typed services into coherent workflows via backward chaining.
; AI-DSL automatic service composition ; Backward chaining with dependent types !(ai-dsl-compose (goal (-> Image DiagnosisReport)) (available-services (image-classifier (-> Image Labels)) (symptom-mapper (-> Labels Symptoms)) (diagnosis-engine (-> Symptoms DiagnosisReport)))) ; => Composed pipeline: image-classifier ; >> symptom-mapper >> diagnosis-engine

Technical Deep Dive: AI-DSL Full — dependent types, backward-chaining synthesis, SingularityNET marketplace composition, and implementation findings.