Upward Pass Semantics in Arithmetic Circuit Inference. - Cory J. Butz; Jhonatan de S. Oliveira; André E. dos Santos; Anna Norris; Kadence Meredith (Canadian AI, 2023)

Towards Inference in Arithmetic Circuits by Exploiting Barren Variables. - Cory J. Butz; Jhonatan de S. Oliveira; Kadence Meredith (Canadian AI, 2025)