Neural Circuit Synthesis from Specification Patterns

25 July 2021

Papers citing "Neural Circuit Synthesis from Specification Patterns"

4 / 4 papers shown

Title
Deep Learning for Symbolic Mathematics Guillaume Lample François Charton 3DGS 102 411 0 02 Dec 2019
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 158 98 0 24 May 2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions Daniel Selsam Nikolaj S. Bjørner NAI 55 121 0 12 Mar 2019
Learning-Assisted Automated Reasoning with Flyspeck C. Kaliszyk Josef Urban LRM 78 162 0 29 Nov 2012