Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3644815.3644970acmconferencesArticle/Chapter ViewAbstractPublication PagescainConference Proceedingsconference-collections
poster

Trustworthy AI: Industry-Guided Tooling of the Methods

Published: 11 June 2024 Publication History

Abstract

The need to assess and validate the trustworthiness of AI (robustness, transparency, safety, security, etc.,) has been the subject of considerable academic work for some time now. A natural evolution of such research efforts is to have a tangible impact in the industrial sector and in the upcoming standards. To this end, theoretical feasibility of algorithmic methods is not enough: one needs to put these methods inside usable tools that can scale to real-world problems. Evidently, this need has not gone unnoticed either and several teams are actively working on maturing their tools further and further in a constant race with a very rapidly moving field. While fundamental research is a paramount bedrock, in the present communication, we want to focus on how far we have come in satisfying the goal of seeing AI safely permeating our future. To this end, we will give a brief overview of recent collaborations with industrial actors in an effort to give the reader a wider notion of trustworthiness, one that may come into play on their own use-cases.

References

[1]
Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Pak-Lok Poon, Dave Towey, TH Tse, and Zhi Quan Zhou. 2018. Metamorphic testing: A review of challenges and opportunities. ACM Computing Surveys (CSUR) 51, 1 (2018), 1--27.
[2]
Zakaria Chihani. 2021. Formal Methods for AI: Lessons from the past, promises of the future. (2021).
[3]
Jia Deng, Wei Dong, Richard Socher, Li-Jia Li, Kai Li, and Li Fei-Fei. 2009. Imagenet: A large-scale hierarchical image database. In 2009 IEEE conference on computer vision and pattern recognition. Ieee, 248--255.
[4]
Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, and Dominique Tachet. 2023. AIMOS: Metamorphic Testing of AI - An Industrial Application. In Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings (Toulouse, France). Springer-Verlag, Berlin, Heidelberg, 328--340.
[5]
Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, and Zakaria Chihani. 2023. Contextualised Out-of-Distribution Detection Using Pattern Identification. In Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, and Friedemann Bitsch (Eds.). Springer Nature Switzerland, Cham, 423--435.
[6]
Romain Xu-Darme, Georges Quénot, Zakaria Chihani, and Marie-Christine Rousset. 2023. PARTICUL: Part Identification with Confidence Measure Using Unsupervised Learning. In Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges, Jean-Jacques Rousseau and Bill Kapralos (Eds.). Springer Nature Switzerland, Cham, 173--187.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
CAIN '24: Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI
April 2024
307 pages
ISBN:9798400705915
DOI:10.1145/3644815
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the owner/author(s).

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 June 2024

Check for updates

Author Tags

  1. verification
  2. validation
  3. test
  4. explainability
  5. trustworthiness
  6. artificial intelligence
  7. neural networks
  8. formal methods

Qualifiers

  • Poster

Conference

CAIN 2024
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 28
    Total Downloads
  • Downloads (Last 12 months)28
  • Downloads (Last 6 weeks)7
Reflects downloads up to 09 Nov 2024

Other Metrics

Citations

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media