Skip to content
#

llm-assisted-research

Star

Here are 2 public repositories matching this topic...

Dredok / axiom-explorer

Star 1

Autonomous LLM-assisted harness for cross-search over modern axiomatic seeds. Companion preprint registered conjectural observation on the cardinality envelope of the condensed classifying anima of spectral infinity-topoi. Mirror of gitlab.loneorc.com/research/axiom-explorer.

open-science methodology zenodo preprint ai-research philosophy-of-mathematics condensed-mathematics mathematical-discovery llm-assisted-research automated-conjecture
  • Updated May 16, 2026
  • Python

Improve this page

Add a description, image, and links to the llm-assisted-research topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the llm-assisted-research topic, visit your repo's landing page and select "manage topics."

Learn more