TickerTain
$SPCX····$NVDA····$MSFT····$GOOGL····$ANTHROPIC·$TSLA····$CRWV····$NBIS····$HIMS····$TSM····$ASML····$FIGURE·$LYFT····$UBER····$SNOW····$META····$ELEVENLABS·$CURSOR·$COGNITION·$OPENAI·$AAPL····$RKLB····$XAI·$AMZN····$AMD····$000660.KS····$INTC····
←

vinod khosla

T1 · high-signal investor
1 call·1 name·100% bull·last heard 2 months ago·TBPN
track record

no scored calls yet — needs a stated position or a categorical verdict, with a matured window vs SPY

top calls

highest conviction · one per company
1sthigh conviction
$PMANA-LABSPmana Labsposition

Khosla Ventures backs Pmana Labs: Autoformalization solves AI hallucination in high-stakes domains

Autoformalization converts ambiguous human intent into machine-checkable formal languages (Lean), enabling provably accurate AI for tax, legal, and healthcare where hallucinations are unacceptable; this addresses the specification, reliability, and verification gaps in current LLMs.

TBPN2026-06→

most discussed · click a bar to filter

recurring themes

1 total
$PMANA-LABS
Pmana Labs
HIGHvinod khosla·TBPN·2 months ago· position
Khosla Ventures backs Pmana Labs: Autoformalization solves AI hallucination in high-stakes domains
Autoformalization converts ambiguous human intent into machine-checkable formal languages (Lean), enabling provably accurate AI for tax, legal, and healthcare where hallucinations are unacceptable; this addresses the specification, reliability, and verification gaps in current LLMs.
"the broad category of autoformmalization which isn't talked about much but humans aren't very good at talking to AI incribing what they precisely want and that's where autoformmal…"
129:24