about
BF++: A Language For General-Purpose Program Synthesis (arxiv.org)
8 points by optimalsolver on Dec 5, 2021 | hide | past | pdf | 1 comment on HN

In plain words: A new programming language lets a neural network write small symbolic decision programs for agents that see only part of their situation, so experts can read and check the rules. Generated programs solved standard control tasks that usually rely on black-box neural decision models.

Abstract · BF++: a language for general-purpose program synthesis

Most state of the art decision systems based on Reinforcement Learning (RL) are data-driven black-box neural models, where it is often difficult to incorporate expert knowledge into the models or let experts review and validate the learned decision mechanisms. Knowledge-insertion and model review are important requirements in many applications involving human health and safety. One way to bridge the gap between data and knowledge driven systems is program synthesis: replacing a neural network that outputs decisions with a symbolic program generated by a neural network or by means of genetic programming. We propose a new programming language, BF++, designed specifically for automatic programming of agents in a Partially Observable Markov Decision Process (POMDP) setting and apply neural program synthesis to solve standard OpenAI Gym benchmarks.

Vadim Liventsev, Aki Härmä, Milan Petković
arXiv:2101.09571 · cs.AI, cs.LG, cs.NE · submitted Jan 23, 2021 · updated Jul 8, 2022
abstract · pdf · html · 8+2 pages (paper+references)

add comment on HN

The code is even better: https://github.com/vadim0x60/cibi

Look at the junior and senior developer models.