Hacker News new | ask | show | jobs
Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model (github.com)
7 points by adyashakti 10 days ago