Picture for Miguel Correia

Miguel Correia

INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Portugal

XAI for Skin Cancer Detection with Prototypes and Non-Expert Supervision

Add code
Feb 02, 2024
Viaarxiv icon

Learning to generate Reliable Broadcast Algorithms

Add code
Jul 31, 2022
Figure 1 for Learning to generate Reliable Broadcast Algorithms
Figure 2 for Learning to generate Reliable Broadcast Algorithms
Figure 3 for Learning to generate Reliable Broadcast Algorithms
Figure 4 for Learning to generate Reliable Broadcast Algorithms
Viaarxiv icon

Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages

Add code
Oct 12, 2019
Figure 1 for Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages
Figure 2 for Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages
Figure 3 for Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages
Figure 4 for Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages
Viaarxiv icon