Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing.
David BalbásDario FioreMaría Isabel González VascoDamien RobissoutClaudio SorientePublished in: CCS (2023)
Keyphrases
- image processing
- machine learning
- pattern recognition
- computer vision
- machine learning methods
- machine vision
- theorem proving
- digital image processing
- signal processing
- learning algorithm
- inductive learning
- text mining
- data analysis
- information extraction
- feature selection
- modular neural networks
- image enhancement
- multiscale
- image restoration
- computer graphics
- image processing algorithms
- artificial intelligence
- inductive logic programming
- mathematical morphology
- image analysis
- decision trees
- remote sensing
- image segmentation
- machine learning algorithms
- speech processing
- edge detection
- computational intelligence
- denoising
- supervised learning
- image registration
- reinforcement learning
- modular structure
- equational theories
- theorem prover
- total variation
- background knowledge
- learning systems
- semi supervised learning
- text classification
- natural language processing
- support vector machine