| [ | |
| "falsify_properties.py::TestBroadcast::test_broadcast_1d_pointwise", | |
| "falsify_properties.py::TestPaperIII_Attention::test_attention_matches_reference", | |
| "falsify_properties.py::TestPaperIII_Attention::test_attention_output_size", | |
| "falsify_properties.py::TestPaperIII_Attention::test_attention_uniform_k_is_constant", | |
| "falsify_properties.py::TestPaperII_Simplex::test_face_centroid_sums_to_one", | |
| "falsify_properties.py::TestPaperII_Simplex::test_face_centroid_support_matches", | |
| "falsify_properties.py::TestPaperII_Simplex::test_softmax_all_positive", | |
| "falsify_properties.py::TestPaperII_Simplex::test_softmax_matches_reference", | |
| "falsify_properties.py::TestPaperII_Simplex::test_softmax_shift_invariant", | |
| "falsify_properties.py::TestPaperII_Simplex::test_softmax_sums_to_one", | |
| "falsify_properties.py::TestPaperII_Simplex::test_vertex_centroid_is_indicator", | |
| "falsify_properties.py::TestPaperI_NAND::test_and_via_nand", | |
| "falsify_properties.py::TestPaperI_NAND::test_demorgan", | |
| "falsify_properties.py::TestPaperI_NAND::test_nand_truth_table", | |
| "falsify_properties.py::TestPaperI_NAND::test_not_via_nand", | |
| "falsify_properties.py::TestPaperI_NAND::test_or_via_nand" | |
| ] |