Hi folks — I enjoyed attending the meeting last week (thanks again to Lane Rasberry for recommending the group).
I have a project working with UVA's School of Data Science that involves mapping Wikipedia's dispute resolution system. We're collecting data from across the full lifecycle — talk pages, DRN, ANI, ArbCom — and comparing how disputes actually move through the system versus how policy documents say they should.
The core idea is that governance procedures can be formally modeled.

This connects to a broader project called Lexipedia (lexipedia.xyz) — an open-source encyclopedia of formal process models using BPMN, with concepts linked to Wikidata. Wikipedia's governance system is our first conformance checking case study.
I think there's overlap with AI-BRIDGES, especially:
Happy to share the data pipeline, the browser-based explorer we built for browsing cases, or the BPMN & petri net models. Would love to hear if anyone's working on similar questions.
Anson UVA Library / Lexipedia lexipedia.xyz
The core idea is that governance procedures can be formally modeled.
This connects to a broader project called Lexipedia (lexipedia.xyz) — an open-source encyclopedia of formal process models using BPMN, with concepts linked to Wikidata. Wikipedia's governance system is our first conformance checking case study.