1An LLM verifier rated math proofs near-perfect; an expert found 17% correct (opens in new tab)(korbonits.com)3korbonits22h ago0Save
2Who verifies the verifier? Notes on DeepMind's formal proof-search paper (opens in new tab)(korbonits.com)1korbonits28d ago0Save
3The Verification Problem (On OpenAI's Erdős Disproof) (opens in new tab)(korbonits.com)3korbonits1mo ago0Save
8Hiring language across 25k job descriptions and corporate cultural norms (opens in new tab)(businessinsider.com)2korbonits8y ago0Save
9How Language in Job Listings Could Widen Silicon Valley’s Gender Divide (opens in new tab)(wsj.com)1korbonits8y ago0Save
