scientific article; zbMATH DE number 6528605

MaRDI QIDQ3459922zbMATH OpenFDO

Authors Ekaterina Komendantskaya

Publication date 11 January 2016

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Machine Learning for Inductive Theorem Proving
• MODEL THEORY AND MACHINE LEARNING
• Machine learning for first-order theorem proving
• Online machine learning techniques for Coq: a comparison
• Coalgebra learning via duality
• Synthesis of ML programs in the system Coq
• Coalgebraic semantics for probabilistic logic programming
• ML systems: A proof theory for contexts
• Coalgebraic Logic and Synthesis of Mealy Machines

Cited in

(9)

• Online machine learning techniques for Coq: a comparison
• Proof mining with dependent types
• ML4PG in computer algebra verification
• Proof-pattern recognition and lemma discovery in ACL2
• FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
• Recycling proof patterns in Coq: case studies
• MODEL THEORY AND MACHINE LEARNING
• CakeML
• Machine Learning for Inductive Theorem Proving

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3459922)