Tensor Program Optimization with Probabilistic Programs.
Junru ShaoXiyou ZhouSiyuan FengBohan HouRuihang LaiHongyi JinWuwei LinMasahiro MasudaCody Hao YuTianqi ChenPublished in: NeurIPS (2022)
Keyphrases
- computer programs
- program execution
- control program
- automatic programming
- programming environment
- higher order
- java programs
- control flow
- hardware designs
- global optimization
- intermediate level
- functional programs
- optimization algorithm
- prolog programs
- bayesian networks
- optimization process
- programming environments
- high level programming language
- computer chess
- uncertain data
- programming language
- symbolic execution
- programs written
- high order
- programming education
- recursive programs
- optimization method
- imperative programs
- constrained optimization