Krzysztof Olejniczak (Preferred)
Krzysztof Olejniczak
PhD student, Department of Computer Science, University of Oxford
Joined
September 2024
Names
Emails
****@keble.ox.ac.uk (Confirmed)
****@gmail.com (Confirmed)
****@cs.ox.ac.uk (Confirmed)
Personal Links
Career & Education History
PhD student
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2025 – Present
MS student
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2020 – 2024
Advisors, Relations & Conflicts
Expertise
Neural Theorem Proving
2025 – Present
Automated Reasoning
2025 – Present
Graph Neural Networks
2024 – Present