Neuro-Symbolic Program Corrector for Introductory Programming Assignments Sahil Bhatia Pushmeet Kohli

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computational linguistics
• Applied mathematics
• Source code
• Syntax
• N-gram
• Artificial neural network
• Parsing
• Recurrent neural network
• Speech recognition
• TeX

Programmatically Interpretable Reinforcement Learning Abhinav Verma 1 Vijayaraghavan Murali 1 Rishabh Singh 2 Pushmeet Kohli 3 Swarat Chaudhuri 1 Abstract

Source URL: rishabhmit.bitbucket.io

• Applied mathematics
• Computational neuroscience
• Machine learning
• Artificial intelligence
• Cybernetics
• Machine learning algorithms
• Artificial neural networks
• Reinforcement learning
• Outline of machine learning
• Markov decision process
• Deep learning
• Algorithm

Int J Comput Vis:261–274 DOIs11263User-Centric Learning and Evaluation of Interactive Segmentation Systems Pushmeet Kohli · Hannes Nickisch · Carsten Rother ·

Source URL: hannes.nickisch.org

Consensus Message Passing for Layered Graphical Models Varun Jampani† S. M. Ali Eslami† , Daniel Tarlow, Pushmeet Kohli and John Winn MPI for Intelligent Systems, T¨ubingen Microsoft Research, Cambridge

Source URL: arkitus.com

• Bayesian networks
• Bayesian statistics
• Machine learning
• Graphical models
• Graph theory
• Learning
• Psychometrics
• Variational message passing
• Factor graph
• Latent variable
• Variational Bayesian methods
• Approximate inference

Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis 1 Pankajan Chanthirasegaran 2 Pushmeet Kohli 3 Charles Sutton 2 4 Abstract Combining abstract, symbolic reasoning with continuous

Source URL: proceedings.mlr.press

Supplementary Material for Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis 1 Pankajan Chanthirasegaran 2 Pushmeet Kohli 3 Charles SuttonSynthetic Expression Datasets

Source URL: proceedings.mlr.press

Ira Kemelmacher­Shlizerman    updated: March 28, 2016    CONTACT    

Source URL: homes.cs.washington.edu

• IEEE conferences
• Computer science
• Science and technology
• Electrical engineering
• International Conference on Computer Vision
• European Conference on Computer Vision
• Conference on Computer Vision and Pattern Recognition
• Computer vision
• SIGGRAPH
• Association for Computing Machinery
• Computer graphics
• Pushmeet Kohli

Picture: A Probabilistic Programming Language for Scene Perception Tejas D Kulkarni MIT Pushmeet Kohli Microsoft Research

Source URL: mrkulk.github.io

Learning Low-order Models for Enforcing High-order Statistics Patrick Pletscher, Pushmeet Kohli Higher-order Statistics Lower and Upper Envelopes

Source URL: www.pletscher.org

Putting MAP back on the Map Patrick Pletscher, Sebastian Nowozin, Pushmeet Kohli, Carsten Rother Learning Energy Minimization in Computer Vision Labeling y given an input image x. Energy minimization of the form

Source URL: www.pletscher.org