Data & Feeds
Reuse AI4Math Chronicle
The Chronicle exposes machine-readable outputs for research, data analysis, retrieval, AI tools, and downstream reuse. There is no API server; every public interface is a static derivative of the same canonical Event YAML records.
Choose an interface by task
Discover per-Event machine endpoints
Event index · Lightweight routing index with Event IDs, bilingual pages, per-Event JSON, verification state, and primary-evidence entry points.Download the full ChronicleJSON · Complete event collection for analysis, notebooks, and general machine consumption.Process events line by lineNDJSON · One event per line for shell tools, streaming workflows, and agent ingestion.Validate Event structureJSON Schema · Formal Event v0.1 structural contract for validation, tooling, and data generation.Subscribe to Chronicle updatesRSS · Public feed ordered by event chronology for readers and automation.Support search engines and crawlersSitemap · Index of static and event pages.Support LLM and AI discoveryllms.txt · Public discovery hints for AI crawlers and retrieval tools.Audit canonical recordsYAML · Inspect the original auditable, GitHub diff-friendly Event records.How the data is produced
The Chronicle follows “one event, one canonical record, many ways to consume it.” Pages, search, feeds, and exports derive from the same factual source rather than maintaining separate copies.
Canonical YAML
↓
validation
↓
HTML · Search · JSON · NDJSON · RSS · SitemapQuick start
Download the complete JSON collection:
curl -L https://charlie-wang-03.github.io/ai4math-chronicle/data/events.jsonRead it with the Python standard library:
import json
from urllib.request import urlopen
with urlopen("https://charlie-wang-03.github.io/ai4math-chronicle/data/events.json") as response:
events = json.load(response)
print(len(events))Versions, citation, and licensing
The website and main branch form a continuously evolving living corpus; GitHub Releases provide more reproducible version snapshots for citation. For papers, reports, or research projects, record the release used or the access date.