Fetching the paper…
Reading the bibliography…
We introduce Boolformer, a Transformer-based model trained to perform end-to-end symbolic regression of Boolean functions.
“The map method for synthesis of combinational logic circuits”
Maurice Karnaugh · 1953
Earlier work this paper cites.
“Multiple-valued minimization for PLA optimization”
Richard Rudell and Alberto Sangiovanni-Vincentelli · 1987
Earlier work this paper cites.
“Learning complex boolean functions: Algorithms and applications”
Arlindo Oliveira and Alberto Sangiovanni-Vincentelli · 1993
Earlier work this paper cites.
“Reveal, a general reverse engineering algorithm for inference of genetic network architectures”
Shoudan Liang, Stefanie Fuhrman and Roland Somogyi · 1998
Earlier work this paper cites.
“Scaling Laws for Neural Language Models”
Jared Kaplan et al · 2001
Earlier work this paper cites.
“On learning gene regulatory networks under the Boolean network model”
Harri Lähdesmäki, Ilya Shmulevich and Olli Yli-Harja · 2003
Earlier work this paper cites.
“Statistical queries and statistical algorithms: Foundations and applications”
Lev Reyzin · 2004
Earlier work this paper cites.
“Linformer: Self-attention with linear complexity”
Sinong Wang et al · 2006
Earlier work this paper cites.
“On pac learning algorithms for rich boolean function classes”
Lisa Hellerstein and Rocco Servedio · 2007
Earlier work this paper cites.
“Inferring regulatory networks from expression data using tree-based methods”
Vân Huynh-Thu, Alexandre Irrthum, Louis Wehenkel and Pierre Geurts · 2010
Earlier work this paper cites.
“Boolean modeling in systems biology: an overview of methodology and applications”
Rui-Sheng Wang, Assieh Saadatpour and Reka Albert · 2012
Earlier work this paper cites.
“SALSA: Systematic logic synthesis of approximate circuits”
Swagath Venkataramani et al · 2012
Earlier work this paper cites.
“TIGRESS: trustful inference of gene regulation using stability selection”
Anne-Claire Haury, Fantine Mordelet, Paola Vera-Licona and Jean-Philippe Vert · 2012
Earlier work this paper cites.
“Substitute-and-simplify: A unified design paradigm for approximate and quality configurable circuits”
Swagath Venkataramani, Kaushik Roy and Anand Raghunathan · 2013
Earlier work this paper cites.
“Learning optimized Or’s of And’s”
Tong Wang and Cynthia Rudin · 2015
Earlier work this paper cites.
“Interpretable two-level boolean rule learning for classification”
Guolong Su, Dennis Wei, Kush Varshney and Dmitry Malioutov · 2015
Earlier work this paper cites.
“bLARS: An algorithm to infer gene regulatory networks”
Nitin Singh and Mathukumalli Vidyasagar · 2015
Earlier work this paper cites.
“Attention is All you Need”
Ashish Vaswani et al · 2017
Earlier work this paper cites.
“CLEVR: A Diagnostic Dataset for Compositional Language and Elementary Visual Reasoning”
Justin Johnson et al · 2017
Earlier work this paper cites.
“PMLB: a large benchmark suite for machine learning evaluation and comparison”
Randal. Olson et al · 2017
Earlier work this paper cites.
“Learning interpretable classification rules with boolean compressed sensing”
Dmitry Malioutov, Kush Varshney, Amin Emad and Sanjeeb Dash · 2017
Earlier work this paper cites.
“On the (non) NP-hardness of computing circuit complexity”
Cody Murray and R Williams · 2017
Earlier work this paper cites.
“A novel mutual information-based Boolean network inference method from time-series gene expression data”
Shohag Barman and Yung-Keun Kwon · 2017
Earlier work this paper cites.
“Learning explanatory rules from noisy data”
Richard Evans and Edward Grefenstette · 2018
Cited alongside, same era.
“Learning Optimal Decision Trees with SAT”
Nina Narodytska, Alexey Ignatiev, Filipe Pereira and João Marques-Silva · 2018
Cited alongside, same era.
“Circuit carving: A methodology for the design of approximate hardware”
Ilaria Scarabottolo, Giovanni Ansaloni and Laura Pozzi · 2018
Cited alongside, same era.
“A Boolean network inference from time-series gene expression data using a genetic algorithm”
Shohag Barman and Yung-Keun Kwon · 2018
Cited alongside, same era.
“dynGENIE3: dynamical GENIE3 for the inference of gene networks from time series expression data”
Vân Huynh-Thu and Pierre Geurts · 2018
Cited alongside, same era.
“Analysing Mathematical Reasoning Abilities of Neural Models”
David Saxton, Edward Grefenstette, Felix Hill and Pushmeet Kohli · 2019
“SymbolicGPT: A Generative Transformer Model for Symbolic Regression”
Mojtaba Valipour, Bowen You, Maysum Panju and Ali Ghodsi · 2021
Later among the works it cites.
“A comprehensive overview and critical evaluation of gene regulatory network inference technologies”
Mengyuan Zhao et al · 2021
Later among the works it cites.
“Rethinking Attention with Performers”
Krzysztof Choromanski et al · 2021
Later among the works it cites.
“Neural networks and the chomsky hierarchy”
Grégoire Delétang et al · 2022
Later among the works it cites.
“Solving quantitative reasoning problems with language models”
Aitor Lewkowycz et al · 2022
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
“Neural Logic Machines”
Honghua Dong et al · 2019
Cited alongside, same era.
“BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding”, 2019
Jacob Devlin, Ming-Wei Chang, Kenton Lee and Kristina Toutanova · 2019
Cited alongside, same era.
“Restricted-derestricted dynamic Bayesian Network inference of transcriptional regulatory relationships among genes in cancer”
Emmanuel Adabor and George Acquaah-Mensah · 2019
Cited alongside, same era.
“Language Models are Few-Shot Learners”
Tom. Brown et al · 2020
Cited alongside, same era.
“LogiQA: A Challenge Dataset for Machine Reading Comprehension with Logical Reasoning”
Jian Liu et al · 2020
Cited alongside, same era.
“Neural Logic Reasoning”
Shaoyun Shi et al · 2020
Cited alongside, same era.
Yi Zhang et al · 2022
Later among the works it cites.
“The CLRS Algorithmic Reasoning Benchmark”
Petar Velickovic et al · 2022
Later among the works it cites.
“Boolean modelling as a logic-based dynamic approach in systems medicine”
Ahmed Hemedan, Anna Niarakis, Reinhard Schneider and Marek Ostaszewski · 2022
Later among the works it cites.
“Learning to reason with neural networks: Generalization, unseen data and boolean measures”
Emmanuel Abbe et al · 2022
Later among the works it cites.
“Review and assessment of Boolean approaches for inference of gene regulatory networks”
Žiga Pušnik, Miha Mraz, Nikolaj Zimic and Miha Moškon · 2022
Later among the works it cites.
“Transformers learn shortcuts to automata”
Bingbin Liu et al · 2022
Later among the works it cites.
“Emergent Abilities of Large Language Models”, 2022
Jason Wei et al · 2022
Later among the works it cites.
“Chain-of-thought prompting elicits reasoning in large language models”
Jason Wei et al · 2022
Later among the works it cites.
“End-to-end Symbolic Regression with Transformers”
Pierre-Alexandre Kamienny, Stéphane d’Ascoli, Guillaume Lample and Francois Charton · 2022
Later among the works it cites.
“Logic explained networks”
Gabriele Ciravegna et al · 2023
Closest in time.
“Length Generalization in Arithmetic Transformers”
Samy Jelassi et al · 2023
Closest in time.
“SGD learning on neural networks: leap complexity and saddle-to-saddle dynamics”
Emmanuel Abbe, Enric Boix-Adsera and Theodor Misiakiewicz · 2023
Closest in time.
“Explainable AI using expressive Boolean formulas”
Gili Rosenberg et al · 2023
Closest in time.
Wassim Tenachi, Rodrigo Ibata and Foivos Diakogiannis · 2023
Closest in time.
“Mathematical discoveries from program search with large language models” Publisher: Nature Publishing Group
Bernardino Romera-Paredes et al · 2024
Closest in time.
“Scaling Laws and Compute-Optimal Training Beyond Fixed Training Durations”, 2024
Alexander Hägele et al · 2024
Closest in time.
berkeley-abc, 2025
“berkeley-abc/abc” original-date: 2018-03-11T11:33:37Z · 2025
Closest in time.