3 papers
cs.LG2025
MonoKAN: Certified Monotonic Kolmogorov-Arnold Network
Alejandro Polo-Molina, David Alfaya, Jose Portela
Artificial Neural Networks (ANNs) have significantly advanced various fields by effectively recognizing patterns and solving complex problems. Despite these advancements, their int…
cs.LG2025
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
Alejandro Polo-Molina, David Alfaya, Jose Portela
Artificial Neural Networks (ANNs) have become a powerful tool for modeling complex relationships in large-scale datasets. However, their black-box nature poses trustworthiness chal…
math.AG2024
Motives meet SymPy: studying -ring expressions in Python
Daniel Sanchez, David Alfaya, Jaime Pizarroso
We present a new Python package called "motives", a symbolic manipulation package based on SymPy capable of handling and simplifying motivic expressions in the Grothendieck ring of…