Pinned Loading

1. counting-crossings counting-crossings Public

   Detects road overpasses in satellite images using a CNN trained on OpenStreetMap-labeled tiles. Deployed live on Hugging Face Spaces.

   Python

2. regulators regulators Public

   Causal analysis of the Regional Greenhouse Gas Initiative (RGGI) using augmented synthetic control, supported by a full data-engineering pipeline. Identifies state-level CO₂ reductions and includes…

   Jupyter Notebook 2

3. proof-truth proof-truth Public

   End-to-end GNN pipeline for Metamath theorem graphs using GIN and NLP embeddings, reaching 70% Top-5 accuracy in predicting missing proof steps.

   Jupyter Notebook

4. dclark202/auto-censoring dclark202/auto-censoring Public

   explicit content detector and automatic censoring tool

   Jupyter Notebook 1