Matches in SemOpenAlex for { <https://semopenalex.org/work/W2801440527> ?p ?o ?g. }
- W2801440527 abstract "Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: First, we show optimised functional implementations of clausal and nonclausal proof search, including a consistent Skolemisation procedure for machine learning. Then, we show two guidance methods based on machine learning, namely reordering of proof steps with Naive Bayesian probablities, and expansion of a proof search tree with Monte Carlo Tree Search. Finally, we give a translation of connection proofs to LK, enabling proof certification and automatic proof search in interactive theorem provers." @default.
- W2801440527 created "2018-05-17" @default.
- W2801440527 creator A5007174926 @default.
- W2801440527 creator A5031019731 @default.
- W2801440527 creator A5070698573 @default.
- W2801440527 date "2018-05-08" @default.
- W2801440527 modified "2023-09-27" @default.
- W2801440527 title "Machine Learning Guidance and Proof Certification for Connection Tableaux." @default.
- W2801440527 cites W105203805 @default.
- W2801440527 cites W1509963640 @default.
- W2801440527 cites W1511652686 @default.
- W2801440527 cites W1517155625 @default.
- W2801440527 cites W1517446920 @default.
- W2801440527 cites W1537870154 @default.
- W2801440527 cites W1558175043 @default.
- W2801440527 cites W1568013030 @default.
- W2801440527 cites W1571434026 @default.
- W2801440527 cites W1573383990 @default.
- W2801440527 cites W1573726182 @default.
- W2801440527 cites W1573992413 @default.
- W2801440527 cites W1584553031 @default.
- W2801440527 cites W1600435877 @default.
- W2801440527 cites W1623345509 @default.
- W2801440527 cites W1625390266 @default.
- W2801440527 cites W1664582451 @default.
- W2801440527 cites W1689403734 @default.
- W2801440527 cites W1781094 @default.
- W2801440527 cites W1825294361 @default.
- W2801440527 cites W1843487352 @default.
- W2801440527 cites W1857315623 @default.
- W2801440527 cites W1943070836 @default.
- W2801440527 cites W1975810242 @default.
- W2801440527 cites W1982239968 @default.
- W2801440527 cites W1993752242 @default.
- W2801440527 cites W1999997889 @default.
- W2801440527 cites W2002963758 @default.
- W2801440527 cites W2007362771 @default.
- W2801440527 cites W2024777931 @default.
- W2801440527 cites W2039977878 @default.
- W2801440527 cites W2040723389 @default.
- W2801440527 cites W2062205231 @default.
- W2801440527 cites W2064800569 @default.
- W2801440527 cites W2071915991 @default.
- W2801440527 cites W2088735483 @default.
- W2801440527 cites W2105747912 @default.
- W2801440527 cites W2126316555 @default.
- W2801440527 cites W2127391555 @default.
- W2801440527 cites W2156433885 @default.
- W2801440527 cites W2262606152 @default.
- W2801440527 cites W2310495003 @default.
- W2801440527 cites W2399785175 @default.
- W2801440527 cites W2414651070 @default.
- W2801440527 cites W24342265 @default.
- W2801440527 cites W2484885137 @default.
- W2801440527 cites W2509751917 @default.
- W2801440527 cites W2578608903 @default.
- W2801440527 cites W2581202535 @default.
- W2801440527 cites W2583369873 @default.
- W2801440527 cites W2750714633 @default.
- W2801440527 cites W2912330988 @default.
- W2801440527 cites W2962905782 @default.
- W2801440527 cites W319386043 @default.
- W2801440527 cites W41512512 @default.
- W2801440527 cites W41668330 @default.
- W2801440527 hasPublicationYear "2018" @default.
- W2801440527 type Work @default.
- W2801440527 sameAs 2801440527 @default.
- W2801440527 citedByCount "0" @default.
- W2801440527 crossrefType "posted-content" @default.
- W2801440527 hasAuthorship W2801440527A5007174926 @default.
- W2801440527 hasAuthorship W2801440527A5031019731 @default.
- W2801440527 hasAuthorship W2801440527A5070698573 @default.
- W2801440527 hasConcept C105605280 @default.
- W2801440527 hasConcept C105795698 @default.
- W2801440527 hasConcept C107673813 @default.
- W2801440527 hasConcept C108710211 @default.
- W2801440527 hasConcept C111919701 @default.
- W2801440527 hasConcept C113174947 @default.
- W2801440527 hasConcept C11413529 @default.
- W2801440527 hasConcept C114614502 @default.
- W2801440527 hasConcept C119857082 @default.
- W2801440527 hasConcept C124978682 @default.
- W2801440527 hasConcept C125583679 @default.
- W2801440527 hasConcept C13355873 @default.
- W2801440527 hasConcept C154945302 @default.
- W2801440527 hasConcept C17744445 @default.
- W2801440527 hasConcept C19499675 @default.
- W2801440527 hasConcept C199360897 @default.
- W2801440527 hasConcept C199539241 @default.
- W2801440527 hasConcept C203265346 @default.
- W2801440527 hasConcept C206880738 @default.
- W2801440527 hasConcept C2524010 @default.
- W2801440527 hasConcept C26713055 @default.
- W2801440527 hasConcept C33923547 @default.
- W2801440527 hasConcept C41008148 @default.
- W2801440527 hasConcept C46149586 @default.
- W2801440527 hasConcept C46304622 @default.
- W2801440527 hasConcept C62692426 @default.
- W2801440527 hasConcept C80444323 @default.
- W2801440527 hasConceptScore W2801440527C105605280 @default.