Boolformer: Symbolic Regression of Logic Functions with Transformers

Stéphane d'Ascoli, Arthur Renard, Vassilis Papadopoulos +3

We introduce Boolformer, a Transformer-based model trained to perform end-to-end symbolic regression of Boolean functions. First, we show that it can predict compact formulas for c…