@inproceedings{KirchwegerMS26,
 author = {Markus Kirchweger and
Pablo Manrique and
Stefan Szeider},
 booktitle = {Automated Reasoning - 13th International Joint Conference,
{IJCAR} 2026, Part of {FLoC} 2026, July 26--29, 2026},
 keywords = {coe},
 note = {To appear},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Formally Verified Graph Generation with {SAT} modulo Symmetries
and {Lean}},
 year = {2026}
}