ENTITY
Mardi
Mardi
PulseAugur coverage of Mardi — every cluster mentioning Mardi across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 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 method aligns informal math statements with formal libraries
Researchers have developed a method to align informal mathematical statements with their formal counterparts in libraries like Lean's mathlib. This work constructs a dataset linking informal statements from the Stacks P…
-
ASPCA encourages adoption of overlooked cats during June
June is Adopt a Shelter Cat Month, and Rena Lafaille, director of administration at the ASPCA Adoption Center in New York City, encourages people to consider adopting cats that are often overlooked. These include black …