user: nsomani

454 karma | created 7 years ago

Neel Somani https://x.com/neelsomani

recent submissions

Autoformalization and the Future of Math Research (neelsomaniblog.com)

2 pts|1 month ago|discuss

Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems (ocf.berkeley.edu)

1 pts|1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

Show HN: A website that auctions itself daily (thedailyauction.com)

43 pts|1 month ago|19 comments

(no title)

1 month ago|discuss

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com)

16 pts|1 month ago|2 comments

The endgame for mechanistic interpretability is formal methods (neelsomaniblog.com)

2 pts|1 month ago|discuss

Show HN: Do Models Represent Epistemic Stance? (github.com)

3 pts|2 months ago|discuss

(no title)

2 months ago|discuss

(no title)

2 months ago|discuss

Intro to Routing: Mixture-of-Experts and Expert Choice (neelsomaniblog.com)

1 pts|3 months ago|discuss

(no title)

3 months ago|discuss

Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached (github.com)

2 pts|3 months ago|1 comment

A Minimal Route to Transformer Attention (neelsomaniblog.com)

2 pts|4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss