Vestigium
PulseAugur coverage of Vestigium — every cluster mentioning Vestigium across labs, papers, and developer communities, ranked by signal.
1 day(s) with sentiment data
-
AI and Math Readings Shared September 7-13, 2026
This cluster contains a single item detailing readings shared between September 7-13, 2026, related to AI and mathematics. The shared content appears to be a curated list of resources or articles, indicated by the URL p…
-
AI4Math Readings Shared: August 3-9, 2026
This cluster contains a single item detailing readings shared between August 3rd and 9th, 2026. The readings are related to AI, specifically AI4Math, and include topics such as Coq, FormalVerification, FunctionalProgram…
-
AI and Math Readings Shared July 27 - August 3, 2026
This cluster contains a single item detailing readings shared between July 27 and August 3, 2026, as posted on Mastodon. The readings cover a wide range of topics including AI, mathematics, formalization, and various pr…
-
AI and Math Readings Shared July 27, 2026
This cluster contains a single item detailing readings shared on July 27, 2026, related to AI and mathematics. The shared content includes references to Vestigium, Aristotle, and Isabel, with hashtags indicating a focus…