Stories by korbonits

An LLM verifier rated math proofs near-perfect; an expert found 17% correct

Who verifies the verifier? Notes on DeepMind's formal proof-search paper

The Verification Problem (On OpenAI's Erdős Disproof)

Textio Flow Launched Today

The Languages of Black Panther

2018 New Year's Resolutions

Corporate cultural values vs. corporate PR

Hiring language across 25k job descriptions and corporate cultural norms

How Language in Job Listings Could Widen Silicon Valley’s Gender Divide

#NIPS2017 highlights