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

 (github.com)

4 points | by adyashakti 2 hours ago

1 comments