Author

Ján Pastorek

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

AutoGraphForge: Towards Automated Graph Theory Discovery

This project reports on the ongoing project to develop a computational pipeline, AutoGraphForge, for an automated graph-theoretic conjecturing-refuting-formalizing-proving system, and reports on the conjectures that survived the refutation dataset, the novelty filter and every active-search run.

Ján Pastorek · 0 citations