About Us

Contributors

The core contributors to the LVE project are:

• Mislav Balunovic
• Luca Beurer-Kellner
• Marc Fischer
• Hanna Yukhymenko
• Prof. Martin Vechev
• Prof. Florian Tramèr

For further contributors please see the authorship information on individual LVEs as well as the GitHub contributors page.

Supporters

Currently the LLM and hosting costs are covered by the SRI Lab at ETH Zurich.

Contact

Feel free to reach out on Twitter, Discord or email. If you want to contribute, see LVE GitHub Repository.