Property-Directed k-Induction Dejan Jovanovi´c Bruno Dutertre SRI International

Source URL: csl.sri.com

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

Source URL: uclmr.github.io

• Logic
• Reasoning
• Inductive reasoning
• Predicate logic
• Mathematical logic
• Predicate
• Propositional calculus
• Inference
• Universal quantification
• Axiom

Neural Program Meta-Induction arXiv:1710.04157v1 [cs.AI] 11 Oct 2017 Jacob Devlin∗ Google

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Learning
• Artificial intelligence
• Computational neuroscience
• Cognition
• Computational statistics
• Artificial neural network
• Market research
• Mathematical psychology
• Supervised learning
• Metamodeling
• Feature learning

Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM)

Source URL: arieg.bitbucket.io

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

Source URL: cims.nyu.edu

• Interpolation
• Physics
• Spline
• B-spline
• Work

Concept learning as motor program induction: A large-scale empirical study Brenden M. Lake Ruslan Salakhutdinov Joshua B. Tenenbaum

Source URL: cims.nyu.edu

• Metaphysics
• Chinese characters
• Languages of East Asia
• Linguistics
• Calligraphy
• Korean language
• Ordering
• Orthography
• Stroke order
• Stroke
• Concept learning
• Drawer

On Global Induction Mechanisms in a -Calculus with Explicit Approximations Christoph Sprenger Swedish Institute of Computer Science, Kista, Sweden

Source URL: people.inf.ethz.ch

Tangeretin inhibits the proliferation of human breast cancer cells via CYP1A1/CYP1B1 enzyme induction and CYP1A1/CYP1B1–mediated metabolism to the product 4′ hydroxy tangeretin

Source URL: www.aristsatsakis.com

School District 148 Induction/Mentor Program Year 2 Professional Development Action Plan Goal 

Source URL: www.district148.net

Induction/Mentor Program Pre-Observation Form

Source URL: www.district148.net