PROGRAM SPONSOR ALERT Date:

First Page		Document Content
Date: 2013-01-09 15:39:19 Induction Education Teacher training Teaching Teaching credential		PROGRAM SPONSOR ALERT Date: Add to Reading List Source URL: www.btsa.ca.gov Download Document from Source Website File Size: 172,29 KB Share Document on Facebook

	Property-Directed k-Induction Dejan Jovanovi´c Bruno Dutertre SRI International DocID: 1xUwV - View Document
	Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con DocID: 1xTV7 - View Document
	Neural Program Meta-Induction arXiv:1710.04157v1 [cs.AI] 11 Oct 2017 Jacob Devlin∗ Google DocID: 1xTQM - View Document
	Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM) DocID: 1xTMV - View Document
	www.sciencemag.org/contentsuppl/DC1 Supplementary Material for Human-level concept learning through probabilistic program induction Brenden M. Lake,* Ruslan Salakhutdinov, Joshua B. Tenenbaum *Correspondi DocID: 1xTaH - View Document