Institution profile

University of Chieti-Pescara

Academic institutioneurope · it
Official website
Research library2linked papers
Opportunities0open roles
Selected work

Representative Papers

The Quadrilateral Loss: Additivity as a Measurable Behavior of Dense Neural Networks

Jul 22, 2026

This work proposes a novel “quadrilateral loss” to achieve interpretable additive behavior while preserving model performance and avoiding the black-box nature induced by feature interactions. Unlike prior approaches that enforce additivity through structural constraints, this method formulates additivity as a continuously tunable behavioral objective. It introduces a differentiable penalty based on second-order mixed differences to suppress unwanted interactions and defines an online-observable interaction strength metric, revealing the unreliability of posterior interaction rankings. By integrating intervention-based Shapley-GAM, structural masking, and behavioral regularization, the approach simultaneously enhances both accuracy and additivity with only mild penalties on small datasets. Experiments demonstrate convergence of shape functions across diverse additive pathways and show that behavioral constraints substantially outperform conventional weight-space regularization.

0 citationsRead paper

Experimental evaluation of optimal abstract operators for sharing and linearity analysis

Jun 08, 2026

This work addresses the challenge of balancing precision and efficiency in static analysis for sharing and linearity in logic programs, where theoretically optimal abstract operators are often too complex to implement effectively. Building upon the PLAI analyzer in the CiaoPP preprocessor, this study presents the first implementation and integration of multiple optimal abstract operators for unification and matching within a real-world analysis framework. The authors systematically evaluate the impact of these operators on both analysis precision and runtime performance. Experimental results quantitatively demonstrate the accuracy gains achieved by enhancing operator precision alongside the associated computational overhead, offering crucial empirical evidence for navigating the trade-off between precision and efficiency in static program analysis.

0 citationsRead paper
Recent publications

Latest Papers

The Quadrilateral Loss: Additivity as a Measurable Behavior of Dense Neural Networks

Jul 22, 2026

This work proposes a novel “quadrilateral loss” to achieve interpretable additive behavior while preserving model performance and avoiding the black-box nature induced by feature interactions. Unlike prior approaches that enforce additivity through structural constraints, this method formulates additivity as a continuously tunable behavioral objective. It introduces a differentiable penalty based on second-order mixed differences to suppress unwanted interactions and defines an online-observable interaction strength metric, revealing the unreliability of posterior interaction rankings. By integrating intervention-based Shapley-GAM, structural masking, and behavioral regularization, the approach simultaneously enhances both accuracy and additivity with only mild penalties on small datasets. Experiments demonstrate convergence of shape functions across diverse additive pathways and show that behavioral constraints substantially outperform conventional weight-space regularization.

0 citationsRead paper

Experimental evaluation of optimal abstract operators for sharing and linearity analysis

Jun 08, 2026

This work addresses the challenge of balancing precision and efficiency in static analysis for sharing and linearity in logic programs, where theoretically optimal abstract operators are often too complex to implement effectively. Building upon the PLAI analyzer in the CiaoPP preprocessor, this study presents the first implementation and integration of multiple optimal abstract operators for unification and matching within a real-world analysis framework. The authors systematically evaluate the impact of these operators on both analysis precision and runtime performance. Experimental results quantitatively demonstrate the accuracy gains achieved by enhancing operator precision alongside the associated computational overhead, offering crucial empirical evidence for navigating the trade-off between precision and efficiency in static program analysis.

0 citationsRead paper