π€
Viveka: filter LLM output against a Lean-verified Advaita Vedanta model
Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model
π° Starting Price
λ¬΄λ£ (μ€νμμ€)
β Paid νλ
?
Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model