CICM

Publications

2024

Michail Karatarakis
A Formalization of All Notions in the Statement of a Theorem by Deligne. CICM (2024)
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine
Towards Semantic Markup of Mathematical Documents via User Interaction. CICM (2024)
David E. Narváez, Cruise Song, Ningxin Zhang
Formalizing Finite Ramsey Theory in Lean 4. CICM (2024)
Michael Kohlhase, Marcel Schütz
Reusing Learning Objects via Theory Morphisms. CICM (2024)
Patrick D. F. Ion, Stephen M. Watt
Using General Large Language Models to Classify Mathematical Documents. CICM (2024)
Eric Wieser
Chaining Extensionality Lemmas in Lean's Mathlib. CICM (2024)
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane. CICM (2024)
Ruocheng Shan, Abdou Youssef
Using Large Language Models to Automate Annotation and Part-of-Math Tagging of Math Equations. CICM (2024)
Daniel Raggi, Gem Stapleton, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng, Mateja Jamnik
Oruga: Implementation and Use of Representational Systems Theory. CICM (2024)
José Espírito Santo, Ana Catarina Sousa
Partial Proof Terms in the Study of Idealized Proof Search. CICM (2024)
Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. CICM (2024)
Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
Transforming Optimization Problems into Disciplined Convex Programming Form. CICM (2024)
Andrej Bauer, Katja Bercic, Gauvain Devillez, Jure Taslak
Incorporating a Database of Graphs into a Proof Assistant. CICM (2024)
Patrick Brinich, Jeremy Johnson
Generating Formally Verified Quantum Fourier Transform Algorithms. CICM (2024)
Jan Jakubuv, Mikolás Janota, Josef Urban
Solving Hard Mizar Problems with Instantiation and Strategy Invention. CICM (2024)
Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier
Formalizing Coppersmith's Method in Isabelle/HOL. CICM (2024)
Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho
Remote Verification System for Mizar Integrated with Emwiki. CICM (2024)
Nour Dekhil, Adnan Rashid, Sofiène Tahar
HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. CICM (2024)
Florian Rabe
A Logical Framework Perspective on Conservativity. CICM (2024)
Sage Binder, Katherine Kosaian
Formalizing Pick's Theorem in Isabelle/HOL. CICM (2024)
Christian Steinfeldt, Helena Mihaljevic
Evaluation and Domain Adaptation of Similarity Models for Short Mathematical Texts. CICM (2024)

volume 14960, 2024

Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings CICM 14960 (2024)

2023

volume 14101, 2023

Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings CICM 14101 (2023)

2022

volume 13467, 2022

Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings CICM 13467 (2022)