language:en license:cc-by-4.0 size_categories:n<1K format:json modality:text library:datasets library:pandas library:mlcroissant library:polars region:us formal-verification ai-safety research-results factual-qa simpleqa-evaluation benchmark-results risk-monitoring