Welcome to the documentation of AlgoVision!

A framework (or programming language) for smooth differentiable algorithms. That is, algorithms which are differentiable wrt. decisions in the algorithm and also differentiable wrt. indices used for indexing.

It is the official implementation of our NeurIPS 2021 Paper “Learning with Algorithmic Supervision via Continuous Relaxations” (Paper @ ArXiv and Video @ Youtube).

Documentation

• Installation
• Basic Instructions
  • Input and Output
  • Var and Variable
  • λ Lambda Expressions
  • Let
• If-Else and While Control Structures
  • Conditions
  • If
  • While
• For Loops and Hard Integers
  • For
• Example: Bubble Sort

API

• AlgoVision Core
• Instructions
• Control Structures
• Conditions
• Functions

Indices and tables

• Index

• Module Index

• Search Page