Bradley Dragun

According to our database, Bradley Dragun authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2020

Towards Concise, Machine-Discovered Proofs of Gödel's Two Incompleteness Theorems.

Elijah Malaby, Bradley Dragun, John Licato

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020