Tensor Program Optimization with Probabilistic Programs.
Junru ShaoXiyou ZhouSiyuan FengBohan HouRuihang LaiHongyi JinWuwei LinMasahiro MasudaCody Hao YuTianqi ChenPublished in: CoRR (2022)
Keyphrases
- computer programs
- control program
- automatic programming
- program execution
- computer chess
- programming environment
- optimization algorithm
- control flow
- optimization process
- high level programming language
- programming education
- functional programs
- java programs
- higher order
- generative model
- optimization problems
- bayesian networks
- hardware designs
- recursive programs
- programming language
- dimensionality reduction
- symbolic execution
- prolog programs
- declarative semantics
- high order
- global optimization
- novice programmers
- logic programs
- logic programming
- program slicing
- probabilistic logic
- optimization method
- imperative programs
- evaluation function