HN Explorer

korbonits

↗ HN profile [ 61.4 ms ] full profile

No user record in our sample, but korbonits has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  1. An LLM verifier rated math proofs near-perfect; an expert found 17% correct (korbonits.com)
    3 points 0
  2. Who verifies the verifier? Notes on DeepMind's formal proof-search paper (korbonits.com)
    1 points 2
  3. The Verification Problem (On OpenAI's Erdős Disproof) (korbonits.com)
    3 points 0
  4. Textio Flow Launched Today (textio.ai)
    2 points 0
  5. The Languages of Black Panther (junglelightspeed.com)
    1 points 0
  6. 2018 New Year's Resolutions (korbonits.github.io)
    1 points 0
  7. Corporate cultural values vs. corporate PR (techmeme.com)
    1 points 0
  8. Hiring language across 25k job descriptions and corporate cultural norms (businessinsider.com)
    2 points 0
  9. How Language in Job Listings Could Widen Silicon Valley’s Gender Divide (wsj.com)
    1 points 0
  10. #NIPS2017 highlights (korbonits.github.io)
    1 points 0