Bialgebraic Reasoning on Higher-order Program Equivalence.
Sergey GoncharovStefan MiliusStelios TsampasHenning UrbatPublished in: LICS (2024)
Keyphrases
- higher order
- knowledge base
- pairwise
- knowledge representation
- natural images
- high order
- program execution
- reasoning tasks
- automated reasoning
- reasoning systems
- static analysis
- knowledge representation and reasoning
- neural network
- computer programs
- analogical reasoning
- probabilistic reasoning
- predicate calculus
- lower order
- rule based reasoning
- reasoning process
- test cases
- graphical models
- multiscale
- artificial intelligence
- genetic algorithm
- machine learning