Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing.
David BalbásDario FioreMaría Isabel González VascoDamien RobissoutClaudio SorientePublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- machine learning
- image processing
- pattern recognition
- computer vision
- machine learning algorithms
- machine learning methods
- artificial intelligence
- image enhancement
- machine vision
- learning algorithm
- digital image processing
- inductive learning
- speech processing
- active learning
- knowledge acquisition
- signal processing
- machine learning approaches
- image segmentation
- supervised machine learning
- theorem proving
- partial differential equations
- image processing algorithms
- machine learning and data mining
- computer graphics
- learning systems
- formal proof
- natural language processing
- feature selection
- decision trees
- multiscale
- knowledge representation
- expert systems
- neural network
- computational intelligence
- natural deduction
- reinforcement learning
- computer science
- data analysis
- information extraction
- image registration
- learning problems
- kernel methods
- statistical methods
- supervised learning
- denoising