paper-with-me

Papers

Bidirectional Reactive Programming for Machine Learning

2023-11-28 · Dumitru Potop Butucaru, Albert Cohen, Gordon Plotkin, Hugo Pompougnac

Reactive languages are dedicated to the programming of systems which interact continuously and concurrently with their environment. Values take the form of unbounded streams modeling the (discrete) passing of time or the sequence of concurrent interactions. While conventional reactivity models recurrences forward in time, we introduce a symmetric reactive construct enabling backward recurrences. Constraints on the latter allow to make the implementation practical. Machine Learning (ML) systems provide numerous motivations for all of this: we demonstrate that reverse-mode automatic differentiation, backpropagation, batch normalization, bidirectional recurrent neural networks, training and reinforcement learning algorithms, are all naturally captured as bidirectional reactive programs.

📄 PDF Abstract BibTeX arXiv:2311.16977

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

JAM: The JavaScript Agent Machine for Distributed Computing and Simulation with reactive and mobile Multi-agent Systems -- A Technical Report

2022-07-22 · Stefan Bosse

Agent-based modelling (ABM), simulation (ABS), and distributed computation (ABC) are established methods. The Internet and Web-based technologies are suitable carriers. This paper is a technical report with some tutorial…

Distributed Computing

A System for Interactive Query Answering with Answer Set Programming

2013-12-20 · Martin Gebser, Philipp Obermeier, Torsten Schaub

Reactive answer set programming has paved the way for incorporating online information into operative solving processes. Although this technology was originally devised for dealing with data streams in dynamic environmen…

Programming in logic without logic programming

2016-01-04 · Robert Kowalski, Fariba Sadri

In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic p…

Reactive Answer Set Programming

2021-09-22 · Krysia Broda, Fariba Sadri, Stephen Butler

Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifi…

Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags

2024-09-13 · Kim van den Houten, Léon Planken, Esteban Freydell, David M. J. Tax 외

This study investigates scheduling strategies for the stochastic resource-constrained project scheduling problem with maximal time lags (SRCPSP/max)). Recent advances in Constraint Programming (CP) and Temporal Networks …

Scheduling