| A Promising Path Towards Autoformalization and General Artificial Intelligence
|
2020 |
Szegedy, Christian |
| Adding an Abstraction Barrier to ZF Set Theory
|
2020 |
Dunne, Ciarán |
| OntoMath Edu: A Linguistically Grounded Educational Mathematical Ontology
|
2020 |
Kirillovich, Alexander |
| Induction with Generalization in Superposition Reasoning
|
2020 |
Hajdú, Marton |
| FramelT: Detangling Knowledge Management from Game Design in Serious Games
|
2020 |
Kohlhase, Michael |
| Formalizing Graph Trail Properties in Isabelle/HOL
|
2020 |
Kovács, Laura |
| Formally Verifying Proofs for Algebraic Identities of Matrices
|
2020 |
Schmitz, Leonard |
| The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq
|
2020 |
Blaauwbroek, Lasse |
| First Neural Conjecturing Datasets and Experiments
|
2020 |
Urban, Josef |
| Formalizing Undergraduate Mathematics
|
2020 |
Buzzard, Kevin |
| Towards a Heterogeneous Query Language for Mathematical Knowledge
|
2020 |
Bercic, Katja |
| Formal Adventures in Convex and Conical Spaces
|
2020 |
Affeldt, Reynald |
| A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving
|
2020 |
Elderhalli, Yassmeen |
| A Survey of Languages for Formalizing Mathematics
|
2020 |
Kaliszyk, Cezary |
| Representing Structural Language Features in Formal Meta-languages
|
2020 |
Müller, Dennis |
| Maintaining a Library of Formal Mathematics
|
2020 |
Doorn, Floris van |
| Tree Neural Networks in HOLA
|
2020 |
Gauthier, Thibault |
| Interpreting Mathematical Texts in Naproche-SAD
|
2020 |
Lon, Adrian De |
| Leveraging the Information Contained in Theory Presentations
|
2020 |
Carette, Jacques |
| Metamath Zero: Designing a Theorem Prover Prover
|
2020 |
Carneiro, Mario |
Tag hinzufügen