← Back
Harmonic
software
A startup focused on combining language models with Lean theorem prover for mathematical reasoning and proof generation.
Also mentioned
(1)
Casual references without a clear endorsement
Sebastian Raschka
mentioned
"I think there are startups—maybe Harmonic is one—where they're going all in on language models pl..."
▶ 3:14:23