Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.
Haoze WuChristopher HahnFlorian LonsingMakai MannRaghuram RamanujanClark W. BarrettPublished in: FMCAD (2023)
Keyphrases
- lightweight
- related problems
- automated reasoning
- online learning
- theorem proving
- reasoning systems
- knowledge representation
- theorem prover
- probabilistic reasoning
- reasoning tasks
- broadly applicable
- development environments
- wireless sensor networks
- knowledge base
- dos attacks
- neural network
- active learning
- optimal solution
- rfid tags
- wireless networks
- graph cuts
- object oriented
- artificial neural networks