GitHub

@davisrbr

davisrbr

Follow

View davisrbr's full-sized avatar

Davis Brown davisrbr

Highlights

  • Pro

Block or report davisrbr

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

davisrbr/README.md

Pinned Loading

  1. conjectures-arxiv conjectures-arxiv Public

    OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv

    Python 19 1

  2. BrachioLab/Meerkat BrachioLab/Meerkat Public

    An agent for auditing repositories of traces for violations of safety properties. Automatically finds cheating (task-level gaming and harness-level cheating) on top benchmarks.

    Python 15 3

Read the original on github.com ↗