Coq

Artificial Intelligence Machine Learning

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving

root January 8, 2024 0

The article introduces Graph2Tac (G2T), a graph neural network that learns hierarchical representations of mathematical concepts in theorem proving. G2T uses a large-scale, graph-based dataset for machine learning in Coq,…

Cryptography and Security

Molly: A Verified Compiler for Cryptoprotocol Roles

root November 27, 2023 0

The article introduces Molly, a verified compiler for cryptoprotocol roles. Molly transforms high-level notation of cryptographic protocol roles into straight-line programs in an intermediate-level imperative language. This makes them suitable…

Page 1 of 1

Press ESC to close

Coq

Please allow ads on our site