Learning advanced mathematical computations from examples

11 June 2020

Papers citing "Learning advanced mathematical computations from examples"

2 / 2 papers shown

Title
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 25 120 0 11 Feb 2021
DeepONet: Learning nonlinear operators for identifying differential equations based on the universal approximation theorem of operators Lu Lu Pengzhan Jin George Karniadakis 43 2,029 0 08 Oct 2019