3 papers
econ.EM2024
Inference in Partially Linear Models under Dependent Data with Deep Neural Networks
Chad Brown
I consider inference in a partially linear regression model under stationary -mixing data after first stage deep neural network (DNN) estimation. Using the DNN results of Brown…
cs.AI2023
Translating SUMO-K to Higher-Order Set Theory
Chad Brown, Adam Pease, Josef Urban
We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-ord…
cs.LO2023
A Mathematical Benchmark for Inductive Theorem Provers
Thibault Gauthier, Chad E. Brown, Mikolas Janota +1
We present a benchmark of 29687 problems derived from the On-Line Encyclopedia of Integer Sequences (OEIS). Each problem expresses the equivalence of two syntactically different pr…