A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem.
Sylvie BoldoFrançois ClémentVincent MartinMicaela MayeroHouda MouhcinePublished in: FM (2023)
Keyphrases
- inductive learning
- knowledge representation
- program synthesis
- constructive induction
- case study
- von neumann
- artificial neural networks
- inductive logic programming
- formal analysis
- theorem prover
- formal model
- intuitionistic logic
- version space
- formal methods
- concept learning
- real world
- hidden markov models
- natural language
- bayesian networks
- decision making
- genetic algorithm