korbonits's submissions

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