HN Explorer

korbonits

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