C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
HoTT formalisation in Coq: Dependency Graphs \& ML4PG.
Jónathan Heras
Ekaterina Komendantskaya
Published in:
CoRR (2014)
Keyphrases
</>
dependency graphs
maximum likelihood
dependency graph
formal analysis
formal methods
theorem prover
feature selection
em algorithm
data sets
face recognition
feature extraction
optimal solution
probability distribution