← Search

Nicholas Gisolfi

2 accepted papers

2024

Data-Driven Discovery of Design Specifications (Student Abstract)

AAAI 2024technical

Ensuring a machine learning model’s trustworthiness is crucial to prevent potential harm. One way to foster trust is through the formal verification of the model’s adherence to essential design requirements. However, this approach relies on well-defined, application-domain-centric criteria with whic…

Cited by 1SourcePDFScholar
2023

Ordinal Programmatic Weak Supervision and Crowdsourcing for Estimating Cognitive States (Student Abstract)

AAAI 2023technical

Crowdsourcing and weak supervision offer methods to efficiently label large datasets. Our work builds on existing weak supervision models to accommodate ordinal target classes, in an effort to recover ground truth from weak, external labels. We define a parameterized factor function and show that ou…

Cited by 0SourcePDFScholar