September 22, 2021 front

ML Newsnew | past | best | rss | submit

Stories from September 22, 2021 (UTC)

Go back a day, month, or year. Go forward a day.

1.	Programming Puzzles (arxiv.org)
	93 points by pramodbiligiri on Sep 22, 2021 \| hide \| past \| pdf \| 56 comments
2.	HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (2019) (arxiv.org)
	13 points by mathematically on Sep 22, 2021 \| hide \| past \| pdf \| 3 comments
3.	Datasets: A Community Library for Natural Language Processing (arxiv.org)
	3 points by T-A on Sep 22, 2021 \| hide \| past \| pdf \| discuss
4.	Introduction to Neural Network Verification (arxiv.org)
	3 points by matt_d on Sep 22, 2021 \| hide \| past \| pdf \| discuss
5.	CompilerGym: Robust, Performant Compiler Optimization Environments for AI Resrch (arxiv.org)
	2 points by pramodbiligiri on Sep 22, 2021 \| hide \| past \| pdf \| discuss
6.	Inconsistency in Conference Peer Review: Revisiting the 2014 NeurIPS Experiment (arxiv.org)
	2 points by lnyan on Sep 22, 2021 \| hide \| past \| pdf \| discuss
7.	Physics-Based Human Motion Estimation and Synthesis from Videos (arxiv.org)
	2 points by lnyan on Sep 22, 2021 \| hide \| past \| pdf \| discuss
8.	Dodging Facial Recognition Using Carefully Crafted Natural Makeup (arxiv.org)
	2 points by isaacfrond on Sep 22, 2021 \| hide \| past \| pdf \| 1 comment