evhub/pyprover evhub/pyprover

  • Stars
    star
    91
  • Rank 366,013 (Top 8 %)
  • Language
    Python
  • License
    Apache License 2.0
  • Created over 7 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
evhub/pyprover
github

evhub

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Resolution theorem proving for predicate logic in pure Python.

More Repositories

1

coconut

Simple, elegant, Pythonic functional programming.
Python
4,067
star
2

bbopt

Black box hyperparameter optimization made easy.
Python
75
star
3

cpyparsing

Cython PyParsing implementation.
Python
30
star
4

coconut-prelude

An implementation of Haskell's Prelude in Python using Coconut.
Python
21
star
5

minecraft-deep-learning

Deep reinforcement learning in Minecraft using gym-minecraft and keras-rl.
Makefile
21
star
6

sublime-coconut

Coconut syntax highlighting for Sublime Text and VSCode.
Python
17
star
7

rabbit

Rabbit is a modern, functional programming language built on top of Python.
Python
12
star
8

mesa-optimization

Source for the paper "Risks from Learned Optimization in Advanced Machine Learning Systems" by Evan Hubinger, Chris van Merwijk, Vladimir Mikulik, Joar Skalse, and Scott Garrabrant.
TeX
8
star
9

iternash

Iterative equilibrium finder for simulating arbitrary games in Python/Coconut.
Python
8
star
10

cards-against-humanity

An extensible cards against humanity game engine.
Makefile
7
star
11

bayesian-nn-example

A toy Bayesian neural network example.
TeX
7
star
12

better_einsum

np.einsum but better
Python
7
star
13

live-song-id

Replication of Known-Artist Live Song Identification Using Audio Hashprints in Python.
Jupyter Notebook
5
star
14

conditioning-predictive-models

Repository for the paper “Conditioning Predictive Models" by Hubinger et al.
TeX
4
star
15

claude-here

debug Python with claude.ai
Makefile
4
star
16

transfer-learning-live-song-id

Use transfer_learning_music to implement live song identification.
Python
4
star
17

prisoner

Run Prisoner's Dilemma competitions in Python.
Makefile
3
star
18

audio-quality-detection

Binary classification of songs based on audio quality.
Jupyter Notebook
3
star
19

score-retrieval

Wrapper for music score retrieval dataset.
Python
2
star
20

coconut-travis-generator

Generates .travis.yml files for use with Coconut and Cocotest.
Makefile
2
star
21

cocotest

Test repository for the Coconut Programming Language.
2
star
22

lean-math-examples

A collection of various mathematical theorems/objects/constructs in Lean.
Lean
2
star
23

point-free-transformer

A point-free implementation of a one-layer transformer in Coconut.
Python
2
star
24

text-game-engine

Custom extensible text game engine.
Python
2
star
25

11-proposals

LaTeX version of "An overview of 11 proposals for building safe advanced AI."
TeX
2
star
26

relaxed-adversarial-training

The source for my post "An exploration of relaxed adversarial training for inner alignment."
TeX
2
star
27

song-annotation-db

Database of aligned song snippets.
Python
2
star
28

coco-cs

Coconut documentation Czech translation by @Tovim
Python
2
star
29

tf-ddpg

An implementation of Deep Deterministic Policy Gradients in TensorFlow using Coconut.
Python
1
star
30

steganography

A Python steganography library, written in Coconut.
1
star
31

travis-dotfile-generator

Generate .travis.yml files from Python/Coconut scripts.
1
star
32

evhub.github.io

GitHub Pages for Evan Hubinger
TeX
1
star
33

master-mind

Graphical single- or multi- player Master Mind simulator.
Python
1
star