Research project dealing with Verification Assisted by AI - vera.ai.
Funded by the EC's Horizon Europe programme.
Website: https://www.veraai.eu/
Twitter: https://twitter.com/view moreResearch project dealing with Verification Assisted by AI - vera.ai.
Funded by the EC's Horizon Europe programme.
Website: https://www.veraai.eu/
Twitter: https://twitter.com/veraai_euview less