Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2012.11401
Cited By
Universal Policies for Software-Defined MDPs
21 December 2020
Daniel Selsam
Jesse Michael Han
L. D. Moura
Patrice Godefroid
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Universal Policies for Software-Defined MDPs"
4 / 4 papers shown
Title
Proof Artifact Co-training for Theorem Proving with Language Models
Jesse Michael Han
Jason M. Rute
Yuhuai Wu
Edward W. Ayers
Stanislas Polu
AIMat
25
120
0
11 Feb 2021
ProGraML: Graph-based Deep Learning for Program Optimization and Analysis
Chris Cummins
Zacharias V. Fisches
Tal Ben-Nun
Torsten Hoefler
Hugh Leather
88
56
0
23 Mar 2020
Scaling Laws for Neural Language Models
Jared Kaplan
Sam McCandlish
T. Henighan
Tom B. Brown
B. Chess
R. Child
Scott Gray
Alec Radford
Jeff Wu
Dario Amodei
264
4,489
0
23 Jan 2020
A Literature Study of Embeddings on Source Code
Zimin Chen
Monperrus Martin
49
82
0
05 Apr 2019
1