Matches in SemOpenAlex for { <https://semopenalex.org/work/W2273975827> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2273975827 abstract "We report the results of the first experiments with learning proof dependencies from the formalizations done with the Coq system. We explain the process of obtaining the dependencies from the Coq proofs, the characterization of formulas that is used for the learning, and the evaluation method. Various machine learning methods are compared on a dataset of 5021 toplevel Coq proofs coming from the CoRN repository. The best resulting method covers on average 75% of the needed proof dependencies among the first 100 predictions, which is a comparable performance of such initial experiments on other large-theory corpora." @default.
- W2273975827 created "2016-06-24" @default.
- W2273975827 creator A5028015722 @default.
- W2273975827 creator A5031019731 @default.
- W2273975827 creator A5070698573 @default.
- W2273975827 date "2014-10-20" @default.
- W2273975827 modified "2023-09-27" @default.
- W2273975827 title "Machine Learning of Coq Proof Guidance: First Experiments" @default.
- W2273975827 cites W1545065387 @default.
- W2273975827 cites W1774729455 @default.
- W2273975827 cites W1808556973 @default.
- W2273975827 cites W1972647229 @default.
- W2273975827 cites W2113065066 @default.
- W2273975827 cites W2167917621 @default.
- W2273975827 cites W2965802651 @default.
- W2273975827 cites W3103563805 @default.
- W2273975827 hasPublicationYear "2014" @default.
- W2273975827 type Work @default.
- W2273975827 sameAs 2273975827 @default.
- W2273975827 citedByCount "5" @default.
- W2273975827 countsByYear W22739758272016 @default.
- W2273975827 countsByYear W22739758272019 @default.
- W2273975827 countsByYear W22739758272020 @default.
- W2273975827 countsByYear W22739758272021 @default.
- W2273975827 crossrefType "posted-content" @default.
- W2273975827 hasAuthorship W2273975827A5028015722 @default.
- W2273975827 hasAuthorship W2273975827A5031019731 @default.
- W2273975827 hasAuthorship W2273975827A5070698573 @default.
- W2273975827 hasConcept C108710211 @default.
- W2273975827 hasConcept C111919701 @default.
- W2273975827 hasConcept C119857082 @default.
- W2273975827 hasConcept C124978682 @default.
- W2273975827 hasConcept C154945302 @default.
- W2273975827 hasConcept C199343813 @default.
- W2273975827 hasConcept C199360897 @default.
- W2273975827 hasConcept C203265346 @default.
- W2273975827 hasConcept C2524010 @default.
- W2273975827 hasConcept C2777686260 @default.
- W2273975827 hasConcept C33923547 @default.
- W2273975827 hasConcept C41008148 @default.
- W2273975827 hasConcept C71924100 @default.
- W2273975827 hasConcept C98045186 @default.
- W2273975827 hasConceptScore W2273975827C108710211 @default.
- W2273975827 hasConceptScore W2273975827C111919701 @default.
- W2273975827 hasConceptScore W2273975827C119857082 @default.
- W2273975827 hasConceptScore W2273975827C124978682 @default.
- W2273975827 hasConceptScore W2273975827C154945302 @default.
- W2273975827 hasConceptScore W2273975827C199343813 @default.
- W2273975827 hasConceptScore W2273975827C199360897 @default.
- W2273975827 hasConceptScore W2273975827C203265346 @default.
- W2273975827 hasConceptScore W2273975827C2524010 @default.
- W2273975827 hasConceptScore W2273975827C2777686260 @default.
- W2273975827 hasConceptScore W2273975827C33923547 @default.
- W2273975827 hasConceptScore W2273975827C41008148 @default.
- W2273975827 hasConceptScore W2273975827C71924100 @default.
- W2273975827 hasConceptScore W2273975827C98045186 @default.
- W2273975827 hasLocation W22739758271 @default.
- W2273975827 hasOpenAccess W2273975827 @default.
- W2273975827 hasPrimaryLocation W22739758271 @default.
- W2273975827 hasRelatedWork W1533817411 @default.
- W2273975827 hasRelatedWork W1537343097 @default.
- W2273975827 hasRelatedWork W1605536043 @default.
- W2273975827 hasRelatedWork W1943070836 @default.
- W2273975827 hasRelatedWork W1982239968 @default.
- W2273975827 hasRelatedWork W2005941052 @default.
- W2273975827 hasRelatedWork W2023237006 @default.
- W2273975827 hasRelatedWork W2127812195 @default.
- W2273975827 hasRelatedWork W2166150865 @default.
- W2273975827 hasRelatedWork W2428112462 @default.
- W2273975827 hasRelatedWork W2593925740 @default.
- W2273975827 hasRelatedWork W2606289262 @default.
- W2273975827 hasRelatedWork W2808863792 @default.
- W2273975827 hasRelatedWork W2962922385 @default.
- W2273975827 hasRelatedWork W2963376030 @default.
- W2273975827 hasRelatedWork W2990172991 @default.
- W2273975827 hasRelatedWork W2998975145 @default.
- W2273975827 hasRelatedWork W3105002484 @default.
- W2273975827 hasRelatedWork W3172998033 @default.
- W2273975827 hasRelatedWork W3177049770 @default.
- W2273975827 isParatext "false" @default.
- W2273975827 isRetracted "false" @default.
- W2273975827 magId "2273975827" @default.
- W2273975827 workType "article" @default.