Proving Functional Program Equivalence via Directed Lemma Synthesis.
Yican SunRuyi JiJian FangXuanlin JiangMingshuai ChenYingfei XiongPublished in: CoRR (2024)
Keyphrases
- program synthesis
- functional programs
- functional language
- programming environment
- medical images
- johnson lindenstrauss
- functional programming
- program execution
- computer programs
- online learning
- data sets
- high dimensional
- expert systems
- high level
- decision trees
- artificial intelligence
- genetic algorithm
- machine learning
- databases