Skip to content
@Quantum-Labor

Quantum-Labor

Popular repositories Loading

  1. qverify qverify Public

    Quantum-assisted verification of LLM reasoning. Translates each step to first-order CNF, grounds against a finite universe, then checks consistency with Grover's search on PennyLane simulator or IB…

    Python

Repositories

Showing 1 of 1 repositories
  • qverify Public

    Quantum-assisted verification of LLM reasoning. Translates each step to first-order CNF, grounds against a finite universe, then checks consistency with Grover's search on PennyLane simulator or IBM Heron r2 hardware.

    Quantum-Labor/qverify’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated May 2, 2026

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…