default search action

combined dblp search
author search
venue search
publication search

ask others

17th CICM 2024: Montréal, QC, Canada

> Home > Conferences and Workshops > CICM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2024
Andrea Kohlhase, Laura Kovács:
Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings. Lecture Notes in Computer Science 14960, Springer 2024, ISBN 978-3-031-66996-5

AI and LLM

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ShanY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ShanY24
Ruocheng Shan, Abdou Youssef:
Using Large Language Models to Automate Annotation and Part-of-Math Tagging of Math Equations. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SubercaseauxMHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SubercaseauxMHM24
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins:
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane. 21-41
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/IonW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/IonW24
Patrick D. F. Ion, Stephen M. Watt:
Using General Large Language Models to Classify Mathematical Documents. 42-57

Proof Assistants

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Wieser24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Wieser24
Eric Wieser:
Chaining Extensionality Lemmas in Lean's Mathlib. 61-72
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Karatarakis24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Karatarakis24
Michail Karatarakis:
A Formalization of All Notions in the Statement of a Theorem by Deligne. 73-90
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/NarvaezSZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/NarvaezSZ24
David E. Narváez, Cruise Song, Ningxin Zhang:
Formalizing Finite Ramsey Theory in Lean 4. 91-108
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BinderK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BinderK24
Sage Binder, Katherine Kosaian:
Formalizing Pick's Theorem in Isabelle/HOL. 109-126
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KosaianTR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KosaianTR24
Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier:
Formalizing Coppersmith's Method in Isabelle/HOL. 127-145
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BauerBDT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BauerBDT24
Andrej Bauer, Katja Bercic, Gauvain Devillez, Jure Taslak:
Incorporating a Database of Graphs into a Proof Assistant. 146-162

Logical Frameworks and Transformations

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KohlhaseS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KohlhaseS24
Michael Kohlhase, Marcel Schütz:
Reusing Learning Objects via Theory Morphisms. 165-182
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MirJBGG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MirJBGG24
Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser:
Transforming Optimization Problems into Disciplined Convex Programming Form. 183-202
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Rabe24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Rabe24
Florian Rabe:
A Logical Framework Perspective on Conservativity. 203-219

Knowledge Representation and Certication

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/VrecarWK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/VrecarWK24
Luka Vrecar, Joe B. Wells, Fairouz Kamareddine:
Towards Semantic Markup of Mathematical Documents via User Interaction. 223-240
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SteinfeldtM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SteinfeldtM24
Christian Steinfeldt, Helena Mihaljevic:
Evaluation and Domain Adaptation of Similarity Models for Short Mathematical Texts. 241-260
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BrinichJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BrinichJ24
Patrick Brinich, Jeremy Johnson:
Generating Formally Verified Quantum Fourier Transform Algorithms. 261-276

Proof Search and Formalization

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SantoS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SantoS24
José Espírito Santo, Ana Catarina Sousa:
Partial Proof Terms in the Study of Idealized Proof Search. 279-297
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AbdelghanyRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AbdelghanyRT24
Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar:
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. 298-314
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/JakubuvJU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/JakubuvJU24
Jan Jakubuv, Mikolás Janota, Josef Urban:
Solving Hard Mizar Problems with Instantiation and Strategy Invention. 315-333

System Descriptions

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KaiTN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KaiTN24
Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho:
Remote Verification System for Mizar Integrated with Emwiki. 337-344
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/RaggiSSGCJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/RaggiSSGCJ24
Daniel Raggi, Gem Stapleton, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng, Mateja Jamnik:
Oruga: Implementation and Use of Representational Systems Theory. 345-351
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/DekhilRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/DekhilRT24
Nour Dekhil, Adnan Rashid, Sofiène Tahar:
HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. 352-359

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.