IW Meeting 2010-01-28

From Inference Web

Jump to: navigation, search


  • Mizar proof findings
  • linked proofs statistics, http://inference-web.org/wiki/iw:TPTP-IW
    • any translation specific issues
    • equivalent semantics
    • proof selection: (i) all revisions; (ii) latest version of ATP system; (iii)
  • linked proof paper: are findings correct? should we use sameAs relation?
  • future publication plan
    • TPTP-PML translation, details and findings
    • linked proof analysis, run different measures to show the interesting spot of linked proofs ,
    • algorithms on using linked proofs
      • AO* search: improve a proof,
      • diff: ATP behavior analysis
      • trust: find critical path in proof
Personal tools