logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
I

INTELLIGENT COMPUTER MATHEMATICS, CICM 2025

IF
Papers25
Citations
Journal Papers 25
Publication Date
delete
Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deletedel Barco, Viviana; Infant, Gustavo; Rivas, Exequiel; Schwahn, Paul
deleteShare
deleteSave
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrown, Chad E.; Kaliszyk, Cezary; Urban, Josef
deleteShare
deleteSave
Certified Algorithms for Numerical Semigroups in Rocq
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco
deleteShare
deleteSave
A PVS Library on the Infinitude of Primes
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deletede Oliveira Ribeiro, Bruno Berto; Moscato, Mariano M.; de Lima, Thaynara Arielly; Ayala-Rincon, Mauricio
deleteShare
deleteSave
A Lean-based Language for Teaching Proof in High School
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMinh, Frederic Tran; Gonnord, Laure; Narboux, Julien
deleteShare
deleteSave
Lightweight Realms
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKohlhase, Michael; Rabe, Florian; Schuetz, Marcel
deleteShare
deleteSave
Growing Mathlib: maintenance of a large scale mathematical library
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaanen, Anne; Ballar, Matthew Robert; Commelin, Johan; Chen, Bryan Gin-ge; Rothgang, Michael; Testa, Damiano
deleteShare
deleteSave
Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKelber, Josefin; Kohlhase, Michael; Schaefer, Jan Frederik; Schuetz, Marcel
deleteShare
deleteSave
Boosting Math Problem Solving in Small LLMs via Ensembles
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteShan, Ruocheng; Youssef, Abdou
deleteShare
deleteSave
Extending Flexible Boolean Semantics for the Language of Mathematics
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deletePathak, Shashank
deleteShare
deleteSave
Exploring proof autoformalization with Mistral on Herald
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHorowitz, Lucy; Karatarakis, Michail; Ren, Xuandi; Ocegueda, Alejandro Sanchez
deleteShare
deleteSave
Formalizing MLTL Formula Progression in Isabelle/HOL
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKosaian, Katherine; Wang, Zili; Sloan, Elizabeth; Rozier, Kristin Yvonne
deleteShare
deleteSave
Formalizing the Solow Model in Naproche
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKoepke, Peter; Schaefer, Patrick
deleteShare
deleteSave
Synthesis Benchmarks for Automated Reasoning
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteHajdu, Marton; Hozzova, Petra; Kovacs, Laura; Voronkov, Andrei; Wagner, Eva Maria; Zilincik, Richard Steven
deleteShare
deleteSave
Graded Quantitative Narrowing
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAyala-Rincon, Mauricio; de Lima, Thaynara Arielly; Ehling, Georg; Kutsia, Temur
deleteShare
deleteSave
Global, Regional, and Local Contexts
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRabe, Florian
deleteShare
deleteSave
Supporting Maintenance of Formal Mathematics with Similarity Search
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHuch, Fabian
deleteShare
deleteSave
Semantic Authoring in a Flexiformal Context - Bulk Annotation of Rigorous Documents
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKohlhase, Michael; Schaefer, Jan Frederik
deleteShare
deleteSave
Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDo, Duc Minh; Rizkallah, Christine
deleteShare
deleteSave
Vector Graphics through Category Theory
deleteINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBarreira, Davi Sales; Carvalho, Henrique Borges; Rademaker, Alexandre; Sa, Asla Medeiros e; Coelho, Flavio Codeco
deleteShare
deleteSave