Expand description
Tropical (max-plus) algebra for efficient LLM operations
Tropical algebra replaces traditional (+, ×) with (max, +), which converts expensive softmax operations into simple max operations. This is particularly useful for finding most likely sequences and optimization in neural networks.
Re-exports§
pub use error::TropicalError;pub use error::TropicalResult;pub use types::StandardTropical;pub use types::TropicalMatrix;pub use types::TropicalMultivector;pub use types::TropicalNumber;pub use types::ExtendedTropical;
Modules§
- error
- Error types for tropical algebra operations
- polytope
- Tropical polytopes for attention pattern visualization
- types
- Core tropical algebra types
- verified
- Verified tropical algebra with phantom types for formal verification
- viterbi
- Viterbi algorithm using tropical algebra
Traits§
- Precision
Float - Unified trait for floating-point arithmetic in scientific computing
Type Aliases§
- Extended
Float - High
Precision Float - Standard
Float - Type alias for standard precision calculations