6 ms·Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model7 points by adyashakti 4mo agoadyashakti 4mo ago[flagged]