Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model

(github.com)

7 points | by adyashakti 18 hours ago ago

No comments yet.