Atlas: Scientific Evidence Graphs

A structured graph pipeline for extracting claims, methods, and outcomes from technical literature across machine learning and biomedical domains.

NLP Knowledge Graphs Active

Lattice: Causal Sequence Modeling

Sequence learning with causal regularization for robust phenotype prediction under sparse and partially observed biological measurements.

Bio Causality Active

Proofbench: Formal Evaluation Suite

A benchmark platform for measuring reasoning consistency and verifiability of language systems on mathematics-heavy tasks.

AI Math Active

Glassbox: Model Behavior Observatory

Instrumentation stack for tracking uncertainty, calibration, and failure mode evolution during iterative model development.

ML Reliability Active

Project Intake

We evaluate external collaboration requests based on scientific value, data feasibility, and whether the resulting work can be shared as durable public research.

Collaboration Scope

  • Joint research with academic groups
  • Methodology partnerships with R&D teams
  • Benchmark or evaluation co-development
  • Advisory collaborations for scientific AI systems