SlidesKeynotesSession-1: AI and LLMs
Slides for
Ruocheng Shan and Abdou Youssef
Using Large Language Models to Automate Annotation and Part-of-Math Tagging of Math Equations
Slides for
Bernardo Subercaseaux, John Mackey, Marijn Heule and Ruben Martins
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
Slides for
Patrick Ion and Stephen Watt
Using General Large Language Models to Classify Mathematical Documents
Session-4: System and Project Descriptions
Slides for
Toshiki Kai, Yuta Teruya and Kazuhisa Nakasho
Developing a Remote Verification System in Mizar and Its Integration with the Emwiki Platform
Slides for
Daniel Raggi, Gem Stapleton, Aaron Stockdill, Grecia Garcia Garcia, Peter Cheng and Mateja Jamnik
Oruga: Implementation and Use of Representational Systems Theory
Slides for
Nour Dekhil, Adnan Rashid and Sofiène Tahar
HOL4PRS: Proof Recommendation System for HOL4 Theorem Prover
Session-5: Logical Frameworks and TransformationsSession-6: Knowledge Representation and Certification
Slides for
Patrick Brinich and Jeremy Johnson
Generating Formally Verified Quantum Fourier Transform Algorithms
Slides for
Luka Vrečar, Joe Wells and Fairouz Kamareddine
Towards semantic markup of mathematical documents via user interaction
Session-8: Proof Search and Formalization
Slides for
José Espírito Santo and Ana Catarina Sousa
Partial proof terms in the study of idealized proof search
|
CICM 2024
17th Conference on Intelligent Computer Mathematics
August 5 - 9, 2024
Montréal, Québec, Canada
You must enable JavaScript to use this site
Slides
-
News
- CICM concluded successfully!
- CICM started!
- Final Program published
- Doctoral Programme established
- Tentative Program out
- Accepted papers announced
- Extended deadlines
- Invited speakers confirmed
- First CFP is out
- Confirmed Springer LNAI proceedings
- Initial website online
Sponsors
Institutional Support
