Scholar

Marco Casadio

Google Scholar ID: zKeLptgAAAAJ

Phd, Heriot-Watt University

Verification of NLPMachine LearningArtificial Intelligence

Google Scholar↗

Citations & Impact

All-time

Citations

109

H-index

5

i10-index

3

Publications

15

Co-authors

0

Contact

No contact links provided.

Publications

3 items

A Generalised Framework for Property-Driven Machine Learning

2025

Cited

1

Neural Network Verification for Gliding Drone Control: A Case Study

2025

Cited

1

NLP Verification: Towards a General Methodology for Certifying Robustness

arXiv.org · 2024

Cited

1

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)