ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2012.11401
  4. Cited By
Universal Policies for Software-Defined MDPs

Universal Policies for Software-Defined MDPs

21 December 2020
Daniel Selsam
Jesse Michael Han
L. D. Moura
Patrice Godefroid
ArXivPDFHTML

Papers citing "Universal Policies for Software-Defined MDPs"

4 / 4 papers shown
Title
Proof Artifact Co-training for Theorem Proving with Language Models
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
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
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
A Literature Study of Embeddings on Source Code
Zimin Chen
Monperrus Martin
49
82
0
05 Apr 2019
1