2 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
2 papers
cs.CY2026★ 2 cited
Building the ethical AI framework of the future: from philosophy to practice
Jasper Kyle Catapang
Artificial intelligence pipelines -- spanning data collection, model training, deployment, and post-deployment monitoring -- concentrate ethical risks that intensify with multimoda…
math.LO2023
Cut-free sequent calculi for the provability logic D
Ryo Kashima, Taishi Kurahashi, Sohei Iwata +1
We say that a Kripke model is a GL-model if the accessibility relation is transitive and converse well-founded. We say that a Kripke model is a D-model if it is obtained by…