Picture for Chad E. Brown

Chad E. Brown

Experiments with Choice in Dependently-Typed Higher-Order Logic

Add code
Oct 11, 2024
Viaarxiv icon

Prolog Technology Reinforcement Learning Prover

Add code
Apr 15, 2020
Figure 1 for Prolog Technology Reinforcement Learning Prover
Figure 2 for Prolog Technology Reinforcement Learning Prover
Viaarxiv icon

Self-Learned Formula Synthesis in Set Theory

Add code
Dec 03, 2019
Figure 1 for Self-Learned Formula Synthesis in Set Theory
Figure 2 for Self-Learned Formula Synthesis in Set Theory
Figure 3 for Self-Learned Formula Synthesis in Set Theory
Viaarxiv icon

Can Neural Networks Learn Symbolic Rewriting?

Add code
Nov 07, 2019
Figure 1 for Can Neural Networks Learn Symbolic Rewriting?
Figure 2 for Can Neural Networks Learn Symbolic Rewriting?
Viaarxiv icon

Cut-Simulation and Impredicativity

Add code
Mar 02, 2009
Figure 1 for Cut-Simulation and Impredicativity
Figure 2 for Cut-Simulation and Impredicativity
Figure 3 for Cut-Simulation and Impredicativity
Viaarxiv icon