Researcher profile
Akihiro Takemura
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
Formally Explaining Decision Tree Models with Answer Set Programming
2026 · Electronic Proceedings in Theoretical Computer Science
Decision tree models, including random forests and gradient-boosted decision trees, are widely used in machine learning due to their high predictive performance. However, their complex structures often make them difficult to interpret, especially in safety-critical …
-
Towards End-to-End ASP Computation
2026 · Neurosymbolic Artificial Intelligence
We propose an end-to-end approach for Answer Set Programming (ASP) and linear algebraically compute stable models satisfying given constraints. The idea is to implement Lin-Zhao’s theorem together with constraints directly in vector spaces as numerical …