September 9, 2020 front

ML Newsnew | past | best | rss | submit

Stories from September 9, 2020 (UTC)

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

1.	Generative Language Modeling for Automated Theorem Proving (arxiv.org)
	88 points by tosh on Sep 9, 2020 \| hide \| past \| pdf \| 28 comments
2.	Generative Language Modeling for Automated Theorem Proving (arxiv.org)
	3 points by colinhb on Sep 9, 2020 \| hide \| past \| pdf \| 1 comment
3.	Kilt: A Benchmark for Knowledge Intensive Language Tasks (arxiv.org)
	1 point by fsilvestri on Sep 9, 2020 \| hide \| past \| pdf \| discuss
4.	Measuring Multitask Language Understanding (arxiv.org)
	1 point by tristanz on Sep 9, 2020 \| hide \| past \| pdf \| discuss