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 ...

This is a preview. Log in through your library . Abstract The morphological diversity of Malawi and Tanganyika cichlids has often been qualitatively described, but rarely have hypotheses based on ...