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