ai-ar-research

Popular repositories Loading

1. Lemur-program-verification Lemur-program-verification Public

   A verifier that integrates LLMs into automated C program verification

   Python 20 6

2. sdsl sdsl Public

   A Bounded Model Checker equipped with Self-Driven Strategy-Learning

   Python 5 1

3. SpotIt-plus SpotIt-plus Public

   SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints

   Python 5

4. vegas vegas Public

   A verifier for GNN-based job schedulers

   Python 3 1

5. luna luna Public

   Bound Propagator for Formal Analysis of Neural Networks

   C++ 3 1

6. lookahead-branching lookahead-branching Public

   C++ 3