VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning.
Aidan Z. H. YangYoshiki TakashimaBrandon PaulsenJosiah DoddsDaniel KroeningPublished in: CoRR (2024)
Keyphrases
- learning process
- reinforcement learning
- learning scheme
- online learning
- supervised learning
- support vector
- learning tasks
- mobile learning
- detection algorithm
- low level
- active learning
- real time
- video sequences
- bayesian networks
- decision trees
- website
- information systems
- artificial intelligence
- learning algorithm
- machine learning