Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model(github.com)
github.com
Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model
https://github.com/SpecStudio-net/Viveka
https://github.com/SpecStudio-net/Viveka