Artificial Intelligence

2024-08-23 miniCodeProps: a Benchmark for Proving Code Properties
2024-06-21 Measuring and Exploiting Network Usable Information
2024-05-05 T2FPV: Dataset and Method for Correcting First-Person View Errors in Pedestrian Trajectory Prediction
2023-10-31 Transfer Learning within a Heterogeneous Graph
2023-04-21 Robustness between the worst and average case
2023-02-21 Classification with Strategically Withheld Data
2022-01-06 Cases2Beds: A Case Study in Actionable Intelligence Highlights