evaluation

Contents:

• Automated prove checking
• Checking the knowledge consistency of large language models
• Comparison of the frAss and subd algorithm for different values of the maxChildNumber parameter
• Converting sentences into semantic triples
• Correlated triples evaluation
• Dataset of 1038 physics terms
• Generating networks of questions and answers
• Manual triple evaluation
  • The evaluation process
  • Results
  • Conclusion
• Physics term adapted subtopic tree evaluation free association algorithm
  • General properties
• Physics term adapted subtopic tree evaluation
  • General properties
  • Content properties
• Represent a derivation as semantic network
  • Represent derivations using a network of equations
  • Handling multiple different uses of the same symbol
  • Represent a complex derivation as network of equations
  • The limitations of networks of equations
  • Combining a network of equations with a network of sentences
• Subtopic tree comparison
• Triple navigation evaluation
• images