Simplification of λ-ring expressions in the Grothendieck ring of Chow motives. - David Alfaya (Appl. Algebra Eng. Commun. Comput., 2022)

A Mathematical Certification for Positivity Conditions in Neural Networks with Applications to Partial Monotonicity and Ethical AI. - Alejandro Polo-Molina; David Alfaya; José Portela (CoRR, 2024)

MonoKAN: Certified Monotonic Kolmogorov-Arnold Network. - Alejandro Polo-Molina; David Alfaya; José Portela (CoRR, 2024)

Metric tools for sensitivity analysis with applications to neural networks. - Jaime Pizarroso; David Alfaya; José Portela; Antonio Muñoz 002 (Appl. Soft Comput., 2025)

Motives meet SymPy: studying λ-ring expressions in Python. - Daniel Sanchez; David Alfaya; Jaime Pizarroso (CoRR, 2025)