While there is a growing corpus of formalized theorems including proofs, there is a lack of open conjectures where only the statement has been formalized. This would be useful for a few reasons. It ...

Abstract: Finding relationships between variables in data is a difficult task. This project aims to make this easier by skimming public databases for given independent and dependent variables and ...

Over the last fourteen years, a variety of swampland conditions have been proposed with various degrees of rigor. In this talk, I will discuss tests of some of these conjectures that do not rely on ...