Krzysztof Olejniczak : Publications

Click here to download all publications in a single bibtex file

@conference{olejniczak_theorem_proving_symmetries,
  title = "What are the Right Symmetries for Formal Theorem Proving?",
  author = "Krzysztof Olejniczak and Radoslav Dimitrov and Xingyue Huang and Bernardo Cuenca Grau and Jinwoo Kim and Ismail Ilkan Ceylan",
  year = "2026",
  journal = "3rd AI4Math Workshop @ ICML 2026",
  url = "https://openreview.net/pdf?id=iOJrCtbPlt",
}

@inproceedings{Ole-2025,
  title = "One Model, Any Conjunctive Query: Graph Neural Networks for Answering Queries over Incomplete Knowledge Graphs",
  author = "Krzysztof Olejniczak and Xingyue Huang and Mikhail Galkin and {\.I}smail {\.I}lkan Ceylan",
  year = "2025",
  booktitle = "Proceedings of Learning on Graphs Conference (LoG)",
}