GitHub - CrocSwap/integer-mult-bounds: Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework. - CrocSwap/integer-mult-bounds

GitHub

Topics: Models

Entities: OpenAI Models

Open original