ENTITY
Xinyu Liu
Xinyu Liu
PulseAugur coverage of Xinyu Liu — every cluster mentioning Xinyu Liu across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New research tackles Gaussian Mixture Model selection and estimation
Two new research papers explore advanced methods for selecting and estimating parameters in Gaussian Mixture Models (GMMs). The first paper focuses on one-dimensional GMMs, establishing optimal sampling complexity for m…
-
AI pipeline automates discovery of missing math lemmas
Researchers have developed MathlibLemma, an LLM-powered pipeline designed to automatically discover, formalize, and prove folklore lemmas missing from formal mathematics libraries like Lean. This system has generated ov…