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