korbonits's submissions

1.		Reproducing the Jacobian conjecture counterexample in two cells of SymPy (korbonits.com)
		1 point by korbonits 14 days ago \| past \| 2 comments
2.		An LLM verifier rated math proofs near-perfect; an expert found 17% correct (korbonits.com)
		3 points by korbonits 39 days ago \| past
3.		Who verifies the verifier? Notes on DeepMind's formal proof-search paper (korbonits.com)
		1 point by korbonits 66 days ago \| past
4.		The Verification Problem (On OpenAI's Erdős Disproof) (korbonits.com)
		3 points by korbonits 72 days ago \| past
5.		Textio Flow Launched Today (textio.ai)
		2 points by korbonits on April 23, 2019 \| past
6.		The Languages of Black Panther (junglelightspeed.com)
		1 point by korbonits on Feb 22, 2018 \| past
7.		2018 New Year's Resolutions (korbonits.github.io)
		1 point by korbonits on Jan 6, 2018 \| past
8.		Corporate cultural values vs. corporate PR (techmeme.com)
		1 point by korbonits on Dec 15, 2017 \| past
9.		Hiring language across 25k job descriptions and corporate cultural norms (businessinsider.com)
		2 points by korbonits on Dec 15, 2017 \| past
10.		How Language in Job Listings Could Widen Silicon Valley’s Gender Divide (wsj.com)
		1 point by korbonits on Dec 13, 2017 \| past
11.		#NIPS2017 highlights (korbonits.github.io)
		1 point by korbonits on Dec 12, 2017 \| past