Artificial Intelligence

2025-01-21 Usefulness of LLMs as an Author Checklist Assistant for Scientific Papers: NeurIPS'24 Experiment
2024-11-27 Optimizing and Characterizing High-Throughput Low-Latency LLM Inference in MLCEngine
2024-11-26 Encoding Cardinality Constraints in Automated Reasoning
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