PulseAugur
EN
LIVE 12:36:51
ENTITY Xinze Li

Xinze Li

PulseAugur coverage of Xinze Li — every cluster mentioning Xinze Li across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
0
0 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D

No coverage in the last 90 days.

TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. RESEARCH · CL_12628 ·

    Mathlib network analysis reveals disconnect between human organization and mathematical dependencies

    A new paper analyzes Mathlib, the largest formalized mathematics library in Lean 4, by treating it as a network. Researchers found that the library's organizational structure, based on folders and naming conventions, do…