Fig. 1: Logic-constrained framework for pathway analysis from whole-slide pathology images.

(Left) Pathology patches form a graph for gene and pathway prediction. (Middle) WSI features and similarity-basededges are constructed. (Bottom-left) Biological priors are converted into logical clauses. (Right) Logical constraintsenhance the pathway prediction network.