FRESH Hacker News
Home
Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model
7 points by adyashakti