Brown, Chad E.

1. Can Neural Networks Learn Symbolic Rewriting?
   2019/11/07 by Piotrowski, Bartosz, Urban, Josef, Brown, Chad E. +1 · 1 citation
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. A Formal Proof of R(4,5)=25
   2024/04/02 by Gauthier, Thibault, Brown, Chad E. · 1 citation
   #Combinatorics (math.CO) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
3. Hammering Higher Order Set Theory
   2025/09/10 by Brown, Chad E., Kaliszyk, Cezary, Suda, Martin +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)