A statistical approach to model evaluations (anthropic.com)

Screenshot of anthropic.com: A statistical approach to model evaluations

First screen, captured 1 year ago.

Looks similar

Screenshot of anthropic.com: Sabotage evaluations for frontier models

Sabotage evaluations for frontier models (anthropic.com)

48 points by elsewhen 2 years ago | 4 comments

Screenshot of anthropic.com: Clio: A system for privacy-preserving insights into real-world AI use

Clio: A system for privacy-preserving insights into real-world AI use (anthropic.com)

113 points by simonw 1 year ago | 38 comments

Screenshot of anthropic.com: LLMs are making formal software verification feasible at a much larger scale

LLMs are making formal software verification feasible at a much larger scale (anthropic.com)

429 points by johnbender 3 days ago | 265 comments

Anthropic research post describing how Claude produced formal proofs of crash-freedom for RISC-V binaries of 123 OSS-Fuzz open-source libraries, finding bugs along the way.

formal-verification claude anthropic rocq

Screenshot of statmodeling.stat.columbia.edu: I disagree with Geoff Hinton regarding "glorified autocomplete"

I disagree with Geoff Hinton regarding "glorified autocomplete"(statmodeling.stat.columbia.edu)

178 points by magoghm 2 years ago | 222 comments

SimpleQA (openai.com)

216 points by surprisetalk 2 years ago | 76 comments

Screenshot of statmodeling.stat.columbia.edu: What happened with HMOs?

What happened with HMOs?(statmodeling.stat.columbia.edu)

28 points by luu 3 years ago | 31 comments

Looks similar

Sabotage evaluations for frontier models(anthropic.com)

Clio: A system for privacy-preserving insights into real-world AI use(anthropic.com)

LLMs are making formal software verification feasible at a much larger scale(anthropic.com)