theorem evolution graphspublished
theorem lineages for conjecture generation
projects
projects
work beyond the single paper
AI and mathematical research
agents finding and checking mathematics
tools
software for agentic mathematics
torsorlabactive
tools for agentic mathematics