BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations Rishabh Singh Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

• Computing
• Formal languages
• Computer programming
• Mathematics
• String
• Substring
• Regular expression
• Rope
• Expr
• Hash function
• Recursion
• Longest common substring problem

Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Computability theory
• Logic programming
• operator
• Python syntax and semantics
• Unification
• Dynamic programming
• Derivative
• Rewriting

Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec

Source URL: uclmr.github.io

• Mathematics
• Differential equations
• Calculus
• Abstraction
• Partial differential equation
• Ordinary differential equation
• Equation
• Artificial neural network
• Linear differential equation
• Numerical methods for ordinary differential equations

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Computing
• Data management
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Computational linguistics
• Meta learning
• Supervised learning
• Support vector machine
• Deep learning
• SQL syntax

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

The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Mathematics
• Logic
• Synthesis
• Satisfiability modulo theories
• Symbol
• Expression

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

doi:Spreadsheet Data Manipulation Using Examples By Sumit Gulwani, William R. Harris, and Rishabh Singh

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Formal languages
• Comparison of programming languages
• Expr
• String
• Spreadsheet
• Regular expression
• Parsing
• AWK
• Scheme

Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Directed graph
• Graph
• Centrality
• Topological graph theory
• Degree
• Sequence
• Sequential pattern mining
• Directed acyclic graph
• Pathwidth

PDF Document

Source URL: singh.ucdavis.edu