Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules

22 September 2021

Papers citing "Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules"

4 / 4 papers shown

Title
Disproving Program Equivalence with LLMs Miltiadis Allamanis Pengcheng Yin 45 0 0 05 Feb 2025
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
OpenNMT: Open-Source Toolkit for Neural Machine Translation Guillaume Klein Yoon Kim Yuntian Deng Jean Senellart Alexander M. Rush 273 1,896 0 10 Jan 2017
Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation Yonghui Wu M. Schuster Z. Chen Quoc V. Le Mohammad Norouzi ... Alex Rudnick Oriol Vinyals G. Corrado Macduff Hughes J. Dean AIMat 716 6,746 0 26 Sep 2016