aprender-core 0.29.2

Next-generation machine learning library in pure Rust
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

use super::*;

// ==========================================================================
// FALSIFICATION: Inf detection for norms
// ==========================================================================
#[test]
fn test_wanda_detects_inf_norms() {
    let wanda = WandaImportance::new("layer0");

    let weights = Tensor::new(&[1.0, 2.0, 3.0, 4.0], &[2, 2]);
    let norms = Tensor::new(&[1.0, f32::INFINITY], &[2]);

    let result = wanda.compute_from_tensors(&weights, &norms);

    assert!(result.is_err(), "WND-18 FALSIFIED: Should detect Inf norms");
    match result.unwrap_err() {
        PruningError::NumericalInstability { method, details } => {
            assert_eq!(method, "wanda");
            assert!(details.contains("Inf"));
        }
        _ => panic!("WND-18 FALSIFIED: Expected NumericalInstability error"),
    }
}

// ==========================================================================
// FALSIFICATION: Empty norm tensor
// ==========================================================================
#[test]
fn test_wanda_empty_norms() {
    let wanda = WandaImportance::new("layer0");

    let weights = Tensor::new(&[1.0, 2.0], &[1, 2]);
    let norms = Tensor::new(&[], &[0]);

    let result = wanda.compute_from_tensors(&weights, &norms);

    assert!(
        result.is_err(),
        "WND-19 FALSIFIED: Should error on empty norms"
    );
}

// ==========================================================================
// FALSIFICATION: Negative activation norms
// ==========================================================================
#[test]
fn test_wanda_negative_norms() {
    let wanda = WandaImportance::new("layer0");

    // Negative norms should be handled gracefully
    let weights = Tensor::new(&[1.0, 2.0], &[1, 2]);
    let norms = Tensor::new(&[-1.0, 2.0], &[2]);

    let result = wanda.compute_from_tensors(&weights, &norms);

    assert!(
        result.is_ok(),
        "WND-20 FALSIFIED: Should handle negative norms"
    );

    let importance = result.unwrap();
    for &v in importance.data() {
        assert!(
            v.is_finite(),
            "WND-20 FALSIFIED: Negative norms should not produce non-finite"
        );
        assert!(
            v >= 0.0,
            "WND-20 FALSIFIED: Importance should be non-negative"
        );
    }
}