no code implementations • 28 Mar 2022 • Yangyang Hu, Yang Yu
On a mathematical reasoning dataset, we adopt the recently proposed abductive learning framework, and propose the ABL-Sym algorithm that combines the Transformer neural models with a symbolic mathematics library.