1
Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model
用Lean形式化验证的印度哲学模型过滤LLM输出，独特跨界思考引发人机伦理新视角。
Article URL: https://github.com/SpecStudio-net/Viveka Comments URL: https://news.ycombinator.com/item?id=48366607 Points: 4 # Comments: 0