The measurements for each metric are tabular, but the taxonomy of problems above them is currently tree (or forest) structured. CSV export or import for specif

The measurements for each metric are tabular, but the taxonomy of problems above them is currently tree (or forest) structured. CSV export or import for specific metrics would be very easy to add if you'd like it. We already have a rough JSON export of the data: https://raw.githubusercontent.com/AI-metrics/AI-metrics/master/export-api/v01/progress.json https://raw.githubusercontent.com/AI-metrics/AI-metrics/mast...