Publications

62 results for AI Testing

NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas
- - Francesco Fuggitti
  - Tathagata Chakraborti
- 2023
- AAAI 2023
Optimization with Constraint Learning
- - S. Ilker Birbil
  - Donato Maragno
  - et al.
- 2023
- AAAI 2023
A monitoring framework for deployed machine learning models with supply chain examples
- - Bradley Eck
  - Duygu Kabakci-Zorlu
  - et al.
- 2022
- Big Data 2022
Measuring the Measuring Tools: An Automatic Evaluation of Semantic Metrics for Text Corpora
- - George Kour
  - Samuel Ackerman
  - et al.
- 2022
- EMNLP 2022
Are you using test log-likelihoods correctly?
- - Sameer Deshpande
  - Soumya Ghosh
  - et al.
- 2022
- NeurIPS 2022
On the Safety of Interpretable Machine Learning: A Maximum Deviation Approach
- - Dennis Wei
  - Rahul Nair
  - et al.
- 2022
- NeurIPS 2022
HCAI@NeurIPS 2022, Human Centered AI
- - Michael Muller
  - Plamen Agelov
  - et al.
- 2022
- NeurIPS 2022
1st Workshop on Data Integrity and Secure Cloud Computing (DISCC-2022)
- - Pradip Bose
  - Jennifer Dworak
  - et al.
- 2022
- MICRO 2022
The Good, the Bad, and the Outliers: A Testing Framework for Decision Optimization Model Learning
- - Orit Davidovich
  - Gheorghe-Teodor Bercea
  - et al.
- 2022
- KDD 2022
Towards Creativity Characterization of Generative Models via Group-based Subset Scanning
- - Celia Cintas
  - Payel Das
  - et al.
- 2022
- IJCAI 2022