Agentic Prover
AProver — Agentic Prover for AI-Generated Code
- MBZUAI, Abu Dhabi
- youcheng.sun@mbzuai.ac.ae
Popular repositories Loading
-
aprover
aprover PublicAProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software
Python
Repositories
Showing 1 of 1 repositories
- aprover Public
AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software
agentic-prover/aprover’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…