Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model (github.com) 7 points by adyashakti 5mo ago ↗ HN
1 comment
[ 2.9 ms ] story [ 77.5 ms ] thread