Goto

Collaborating Authors

 Education


Build your own best friend! Students design $3,000 kit robo-dog that can jump, flip and dance

Daily Mail - Science & tech

A robotic dog that can dance, do flips and jump has been created by a team of students - and they are encouraging people to build their own. The robo-dog senses when it is out of position and uses'virtual springs' to pop upright with precision. It has been created with the goal of being reproduced by anyone and the team has published their designs and blueprints online to encourage people to make their own robots. Doggo's creators wanted to share their joy so much they have made the plans, code and a supply list all freely available on GitHub, a specialist platform for developers to share computer code. On the Stanford Doggo Project Github blog, the students describe themselves as undergraduate and graduate students in the Stanford Student Robotics club and part of the club's'Extreme Mobility team'.


Should You Be Recommending Deep Learning Solutions in Your Company?

#artificialintelligence

Summary: If you are guiding your company's digital journey, to what extent should you be advising them to adopt deep learning AI methods versus traditional and mature machine learning techniques. By now everyone is at least familiar with using AI/ML as a required cornerstone of company strategy. Frequently this is referred to as'digitization' or the'digital journey'. There's plenty of data showing that early adopters who have gone all-in on this approach are already pulling ahead of competitors both in share and bottom line results. There's also mounting evidence that even though most companies are now aware of this need, either their planning or their execution has been half-hearted.


Mathematics for Data Science and Machine Learning using R

#artificialintelligence

From healthcare to business, everywhere data is important. However, it revolves around 3 major aspects i.e. data, foundational concepts and programming languages for interpreting the data. This course teaches you everything about all the foundational mathematics for Data Science using R programming language, a language developed specifically for performing statistics, data analytics and graphical modules in a better way. What you'll learn Master the fundamental mathematical concepts required for Datas Science and Machine Learning Learn to implement mathematical concepts using R Master Linear alzebra, Calculus and Vector calculus from ground up Master R programming language Udemy Promo Coupon 75% off Discount Mathematics for Data Science and Machine Learning using R


Time-Smoothed Gradients for Online Forecasting

arXiv.org Machine Learning

Here, we study different update rules in stochastic gradient descent (SGD) for online forecasting problems. The selection of the learning rate parameter is critical in SGD. However, it may not be feasible to tune this parameter in online learning. Therefore, it is necessary to have an update rule that is not sensitive to the selection of the learning parameter. Inspired by the local regret metric that we introduced previously, we propose to use time-smoothed gradients within SGD update. Using the public data set-- GEFCom2014, we validate that our approach yields more stable results than the other existing approaches. Furthermore, we show that such a simple approach is computationally efficient compared to the alternatives.


Stochastic Inverse Reinforcement Learning

arXiv.org Machine Learning

Inverse reinforcement learning (IRL) is an ill-posed inverse problem since expert demonstrations may infer many solutions of reward functions which is hard to recover by local search methods such as a gradient method. In this paper, we generalize the original IRL problem to recover a probability distribution for reward functions. We call such a generalized problem stochastic inverse reinforcement learning (SIRL) which is first formulated as an expectation optimization problem. We adopt the Monte Carlo expectation-maximization (MCEM) method, a global search method, to estimate the parameter of the probability distribution as the first solution to SIRL. With our approach, it is possible to observe the deep intrinsic property in IRL from a global viewpoint, and the technique achieves a considerable robust recovery performance on the classic learning environment, objectworld.


Discovering Hidden Structure in High Dimensional Human Behavioral Data via Tensor Factorization

arXiv.org Machine Learning

In recent years, the rapid growth in technology has increased the opportunity for longitudinal human behavioral studies. Rich multimodal data, from wearables like Fitbit, online social networks, mobile phones etc. can be collected in natural environments. Uncovering the underlying low-dimensional structure of noisy multi-way data in an unsupervised setting is a challenging problem. Tensor factorization has been successful in extracting the interconnected low-dimensional descriptions of multi-way data. In this paper, we apply non-negative tensor factorization on a real-word wearable sensor data, StudentLife, to find latent temporal factors and group of similar individuals. Meta data is available for the semester schedule, as well as the individuals' performance and personality. We demonstrate that non-negative tensor factorization can successfully discover clusters of individuals who exhibit higher academic performance, as well as those who frequently engage in leisure activities. The recovered latent temporal patterns associated with these groups are validated against ground truth data to demonstrate the accuracy of our framework.


Learning to Prove Theorems via Interacting with Proof Assistants

arXiv.org Machine Learning

Humans prove theorems by relying on substantial high-level reasoning and problem-specific insights. Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as high-level tactics. However, human experts have to construct proofs manually by entering tactics into the proof assistant. In this paper, we study the problem of using machine learning to automate the interaction with proof assistants. We construct CoqGym, a large-scale dataset and learning environment containing 71K human-written proofs from 123 projects developed with the Coq proof assistant. We develop ASTactic, a deep learning-based model that generates tactics as programs in the form of abstract syntax trees (ASTs). Experiments show that ASTactic trained on CoqGym can generate effective tactics and can be used to prove new theorems not previously provable by automated methods. Code is available at https://github.com/princeton-vl/CoqGym.


The Machine Learning Bazaar: Harnessing the ML Ecosystem for Effective System Development

arXiv.org Machine Learning

As machine learning is applied more and more widely, data scientists often struggle to find or create end-to-end machine learning systems for specific tasks. The proliferation of libraries and frameworks and the complexity of the tasks have led to the emergence of "pipeline jungles" -- brittle, ad hoc ML systems. To address these problems, we introduce the Machine Learning Bazaar, a new approach to developing machine learning and AutoML software systems. First, we introduce ML primitives, a unified API and specification for data processing and ML components from different software libraries. Next, we compose primitives into usable ML programs, abstracting away glue code, data flow, and data storage. We further pair these programs with a hierarchy of search strategies -- Bayesian optimization and bandit learning. Finally, we create and describe a general-purpose, multi-task, end-to-end AutoML system that provides solutions to a variety of ML problem types (classification, regression, anomaly detection, graph matching, etc.) and data modalities (image, text, graph, tabular, relational, etc.). We both evaluate our approach on a curated collection of 431 real-world ML tasks and search millions of pipelines, and also demonstrate real-world use cases and case studies.


Data science work sharing hub.

#artificialintelligence

Neptune brings organization and collaboration to data science projects. Everything is secured, backed-up in an organized knowledge repository. Keeps your work safeguarded, no matter what. Neptune tracks your work with virtually no interference to the way you like to do it. You focus on ideas and experiments, Neptune will take care of the rest.


quantum-machine-learning-2

#artificialintelligence

The pace of development in quantum computing mirrors the rapid advances made in machine learning and artificial intelligence. It is natural to ask whether quantum technologies could boost learning algorithms: this field of inquiry is called quantum-enhanced machine learning. The goal of this course is to show what benefits current and future quantum technologies can provide to machine learning, focusing on algorithms that are challenging with classical digital computers. We put a strong emphasis on implementing the protocols, using open source frameworks in Python. Prominent researchers in the field will give guest lectures to provide extra depth to each major topic.