Cezary Kaliszyk

Identifiers

• name variant Cezary Kaliszyk 0.60 · backfill

Papers (27)

1. Polymorphism Meets DHOL cs.LO · 2026 · author #3
2. Munkres' General Topology Autoformalized in Isabelle/HOL cs.AI · 2026 · author #3
3. Concrete Semantics with Coq and CoqHammer cs.LO · 2018 · author #3
4. Reinforcement Learning of Theorem Proving cs.AI · 2018 · author #1
5. First Experiments with Neural Translation of Informal to Formal Mathematics cs.CL · 2018 · author #2
6. Machine Learning Guidance and Proof Certification for Connection Tableaux cs.LO · 2018 · author #2
7. Learning to Reason with HOL4 tactics cs.AI · 2018 · author #2
8. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving cs.AI · 2017 · author #1
9. Deep Network Guided Proof Search cs.AI · 2017 · author #4
10. Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving cs.CL · 2016 · author #1
11. Monte Carlo Tableau Proof Search cs.LO · 2016 · author #2
12. Proceedings First International Workshop on Hammers for Type Theories cs.LO · 2016 · author #2
13. Premise Selection and External Provers for HOL4 cs.AI · 2015 · author #2
14. Sharing HOL4 and HOL Light proof knowledge cs.AI · 2015 · author #2
15. Proceedings Fourth Workshop on Proof eXchange for Theorem Proving cs.LO · 2015 · author #1
16. A formal proof of the Kepler conjecture math.MG · 2015 · author #7
17. Certified Connection Tableaux Proofs for HOL Light and TPTP cs.LO · 2014 · author #1
18. Machine Learning of Coq Proof Guidance: First Experiments cs.LO · 2014 · author #1
19. Matching concepts across HOL libraries cs.LO · 2014 · author #2
20. Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description cs.AI · 2014 · author #1
21. Machine Learner for Automated Reasoning 0.4 and 0.5 cs.LG · 2014 · author #1
22. Learning-assisted Theorem Proving with Millions of Lemmas cs.AI · 2014 · author #1
23. MizAR 40 for Mizar 40 cs.AI · 2013 · author #1
24. Lemma Mining over HOL Light cs.AI · 2013 · author #1
25. HOL(y)Hammer: Online ATP Service for HOL Light cs.AI · 2013 · author #1
26. Formal Mathematics on Display: A Wiki for Flyspeck cs.MS · 2013 · author #2
27. Computing with Classical Real Numbers cs.LO · 2008 · author #1

Mentions

• 0809.1644 #1 · backfill · confidence 0.70 Cezary Kaliszyk

Frequent Coauthors

• Josef Urban 17 shared papers
• Thibault Gauthier 4 shared papers
• Christian Szegedy 2 shared papers
• Herman Geuvers 2 shared papers
• Jiri Vyskocil 2 shared papers
• Ji\v{r}\'i Vysko\v{c}il 2 shared papers
• Michael F\"arber 2 shared papers
• Alexey Solovyev 1 shared papers
• Andrei Paskevich 1 shared papers
• An Hoai Thi Ta 1 shared papers
• Burak Ekici 1 shared papers
• Carst Tankink 1 shared papers
• Dat Tat Dang 1 shared papers
• Diep Thi Trieu 1 shared papers
• Dustin Bryant 1 shared papers
• Florian Rabe 1 shared papers
• Fran\c{c}ois Chollet 1 shared papers
• Geoffrey Irving 1 shared papers
• Gertrud Bauer 1 shared papers
• Henryk Michalewski 1 shared papers