-
Volumes of brain regions in female guppies
All data was collected in the lab and analysed using R studio. A list of abbreviations for the data can be found on the second spreadsheet of the excel file. -
Simple Dataset for Proof Method Recommendation in Isabelle/HOL
Recently, a growing number of researchers have applied machine learning to assist users of interactive theorem provers. However, the expressive nature of underlying logics and...