Krzysztof Olejniczak : Publications

Conference papers

• [1]

  What are the Right Symmetries for Formal Theorem Proving?

  Krzysztof Olejniczak‚ Radoslav Dimitrov‚ Xingyue Huang‚ Bernardo Cuenca Grau‚ Jinwoo Kim and Ismail Ilkan Ceylan

  2026.

  Details about What are the Right Symmetries for Formal Theorem Proving? | BibTeX data for What are the Right Symmetries for Formal Theorem Proving? | Link to What are the Right Symmetries for Formal Theorem Proving?

• [2]

  One Model‚ Any Conjunctive Query: Graph Neural Networks for Answering Queries over Incomplete Knowledge Graphs

  Krzysztof Olejniczak‚ Xingyue Huang‚ Mikhail Galkin and İsmail İlkan Ceylan

  In Proceedings of Learning on Graphs Conference (LoG). 2025.

  Details about One Model‚ Any Conjunctive Query: Graph Neural Networks for Answering Queries over Incomplete Knowledge Graphs | BibTeX data for One Model‚ Any Conjunctive Query: Graph Neural Networks for Answering Queries over Incomplete Knowledge Graphs