paper-with-me

Papers

Monadic Deep Learning

2023-07-23 · Bo Yang, Zhihao Zhang Kirisame Marisa, Kai Shi

The Java and Scala community has built a very successful big data ecosystem. However, most of neural networks running on it are modeled in dynamically typed programming languages. These dynamically typed deep learning frameworks treat neural networks as differentiable expressions that contain many trainable variable, and perform automatic differentiation on those expressions when training them. Until 2019, none of the learning frameworks in statically typed languages provided the expressive power of traditional frameworks. Their users are not able to use custom algorithms unless creating plenty of boilerplate code for hard-coded back-propagation. We solved this problem in DeepLearning.scala 2. Our contributions are: 1. We discovered a novel approach to perform automatic differentiation in reverse mode for statically typed functions that contain multiple trainable variable, and can interoperate freely with the metalanguage. 2. We designed a set of monads and monad transformers, which allow users to create monadic expressions that represent dynamic neural networks. 3. Along with these monads, we provide some applicative functors, to perform multiple calculations in parallel. With these features, users of DeepLearning.scala were able to create complex neural networks in an intuitive and concise way, and still maintain type safety.

📄 PDF Abstract BibTeX arXiv:2307.12187

Code (0)

등록된 구현이 없습니다.

Tasks

Deep LearningDynamic neural networks

Methods 이 논문이 사용한 방법론

None 설명 없음

Similar Papers 제목 키워드 기반

Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

2020-10-22 · Pierre Bourhis, Carsten Lutz

We study query containment in three closely related formalisms: monadic disjunctive Datalog (MDDLog), MMSNP (a logical generalization of constraint satisfaction problems), and ontology-mediated queries (OMQs) based on ex…

Linguistic Analysis, Description, and Typological Exploration with Categorial Grammar (TheBench Guide)

2024-06-03 · Cem Bozsahin

TheBench is a tool to study monadic structures in natural language. It is for writing monadic grammars to explore analyses, compare diverse languages through their categories, and to train models of grammar from form-mea…

Second Position Clitics and Monadic Second-Order Transduction

2012-04-01 · WS 2012 4 · Neil Ashton
Position

Monadic Pavlovian associative learning in a backpropagation-free photonic network

2020-11-30 · James Y. S. Tan, Zengguang Cheng, Johannes Feldmann, Xuan Li 외

Over a century ago, Ivan P. Pavlov, in a classic experiment, demonstrated how dogs can learn to associate a ringing bell with food, thereby causing a ring to result in salivation. Today, it is rare to find the use of Pav…

To React or not to React: End-to-End Visual Pose Forecasting for Personalized Avatar during Dyadic Conversations

2019-10-05 · Chaitanya Ahuja, Shugao Ma, Louis-Philippe Morency, Yaser Sheikh

Non verbal behaviours such as gestures, facial expressions, body posture, and para-linguistic cues have been shown to complement or clarify verbal messages. Hence to improve telepresence, in form of an avatar, it is impo…