pith. the verified trust layer for science. sign in

Yixiao Lin

Identifiers

No identifiers captured yet.

Papers (3)

  1. Fairness Constraints in High-Dimensional Generalized Linear Models stat.ML · 2026 · author #1
  2. Porting Code Across Simple Mobile Robots cs.RO · 2016 · author #1
  3. StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems cs.PL · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors