Search Results - "Kaliszyk"

Beyond the Mission: Long-Term Endocrine Dynamics in Search and Rescue Dog–Handler Teams.

Authors: Wojtaś, Justyna Kaliszyk, Klaudia Kaszycka, Kamila et al.

Source: Animals (2076-2615). Jun2026, Vol. 16 Issue 12, p1934. 13p.

Teaching Logic Using a State-of-the-Art Proof Assistant

Authors: Hendriks, Maxim Kaliszyk, Cezary van Raamsdonk, Femke et al.

Source: Acta Didactica Napocensia. 2010 3(2):35-48.

Peer Reviewed: Y

Page Count: 14

Descriptors: Logical Thinking, Teaching Methods, Validity, Undergraduate Students, Computer Science, Educational Technology, Databases, Problem Solving, Computer Uses in Education, Foreign Countries, Computer Science Education

Geographic Terms: Netherlands

study of continuous vector representations for theorem proving.

Authors: PurgaŁ, StanisŁaw Parsert, Julian Kaliszyk, Cezary

Source: Journal of Logic & Computation; Dec2021, Vol. 31 Issue 8, p2057-2083, 27p

Relaxed Weighted Path Order in Theorem Proving.

Authors: Jakubův, Jan Kaliszyk, Cezary

Source: Mathematics in Computer Science. Sep2020, Vol. 14 Issue 3, p657-670. 14p.

Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq.

Authors: Ekici, Burak Kaliszyk, Cezary

Source: Mathematics in Computer Science. Sep2020, Vol. 14 Issue 3, p533-549. 17p.

Combining Higher-Order Logic with Set Theory Formalizations.

Authors: Kaliszyk, Cezary Pąk, Karol

Source: Journal of Automated Reasoning. Jun2023, Vol. 67 Issue 2, p1-23. 23p.

Programming and verifying a declarative first-order prover in Isabelle/HOL.

Authors: Jensen, Alexander Birch Larsen, John Bruntse Schlichtkrull, Anders et al.

Source: AI Communications; 2018, Vol. 31 Issue 3, p281-299, 19p

Towards backbone computing: A Greedy-Whitening based approach.

Authors: Zhang, Yueling Zhang, Min Pu, Geguang et al.

Source: AI Communications; 2018, Vol. 31 Issue 3, p267-280, 14p

Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1.

Authors: Matsuzaki, Takuya Iwane, Hidenao Kobayashi, Munehiro et al.

Source: AI Communications; 2018, Vol. 31 Issue 3, p251-266, 16p

Hierarchical invention of theorem proving strategies.

Authors: Jakubův, Jan Urban, Josef Fontaine et al.

Source: AI Communications; 2018, Vol. 31 Issue 3, p237-250, 14p

Hammering towards QED.

Authors: Blanchette, Jasmin C. Kaliszyk, Cezary Paulson, Lawrence C. et al.

Source: Journal of Formalized Reasoning. 2016, Vol. 9 Issue 1, p101-148. 48p.

HOL(y)Hammer: Online ATP Service for HOL Light.

Authors: Kaliszyk, Cezary Urban, Josef

Source: Mathematics in Computer Science. Mar2015, Vol. 9 Issue 1, p5-22. 18p.

Machine Learning Guidance for Connection Tableaux.

Authors: Färber, Michael Kaliszyk, Cezary Urban, Josef

Source: Journal of Automated Reasoning. Feb2021, Vol. 65 Issue 2, p287-320. 34p.

Subjects: Monte Carlo method, Machine learning, Logic programming, Artificial intelligence, Matrices (Mathematics)

TacticToe: Learning to Prove with Tactics.

Authors: Gauthier, Thibault Kaliszyk, Cezary Urban, Josef et al.

Source: Journal of Automated Reasoning. Feb2021, Vol. 65 Issue 2, p257-286. 30p.

Subjects: Monte Carlo method, Machine learning, Mathematics theorems, Artificial intelligence, Automatic theorem proving

Semantics of Mizar as an Isabelle Object Logic.

Authors: Kaliszyk, Cezary Pąk, Karol

Source: Journal of Automated Reasoning. Oct2019, Vol. 63 Issue 3, p557-595. 39p.

Subjects: Semantics, Libraries, Manifolds (Engineering), Programming languages, Automation

Foreword to the Special Issue on Automated Reasoning.

Authors: Fontaine, Pascal Kaliszyk, Cezary Schulz, Stephan et al.

Source: AI Communications. 2018, Vol. 31 Issue 3, p235-236. 2p.

Hammer for Coq: Automation for Dependent Type Theory.

Authors: Czajka, Łukasz Kaliszyk, Cezary

Source: Journal of Automated Reasoning. Jun2018, Vol. 61 Issue 1-4, p423-453. 31p.

MizAR 40 for Mizar 40.

Authors: Kaliszyk, Cezary Urban, Josef

Source: Journal of Automated Reasoning. Oct2015, Vol. 55 Issue 3, p245-256. 12p.

Subjects: Machine learning, Mathematical proofs, Automation, Real-time control, Computer systems

Learning-Assisted Automated Reasoning with Flyspeck.

Authors: Kaliszyk, Cezary Urban, Josef

Source: Journal of Automated Reasoning. Aug2014, Vol. 53 Issue 2, p173-213. 41p.

Subjects: Artificial intelligence research, Machine learning, Mathematics, Automatic theorem proving, Reasoning, Semantics

Learning-assisted theorem proving with millions of lemmas.

Authors: Kaliszyk, Cezary Urban, Josef

Source: Journal of Symbolic Computation. Jul2015, Vol. 69, p109-128. 20p.

Subjects: Machine learning, Mathematics theorems, Mathematical analysis, Estimation theory, Mathematicians