Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model
(github.com/SpecStudio-net)
7 points
adyashakti
2 days ago
discuss