Stars
17
Forks
0
Language
None
Last Updated
Mar 02, 2024
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
None | 2 | Learning Coq theorem proving :) | Dec 14, 2021 | |
Scala | 10 | Interactive Theorem Proving based on Inox | Jun 13, 2022 | |
Haskell | 25 | A type theory based theorem proving library | May 30, 2021 | |
Haskell | 11 | A type theory based theorem proving library | Mar 02, 2017 | |
Coq | 286 | A Learning Environment for Theorem Proving with the Coq proof assistant | Aug 17, 2022 | |
None | 2 | Cheatsheet for theorem proving in ATS | Jan 28, 2023 | |
Lean | 4 | Tutorial to use Lean for theorem proving | Apr 21, 2022 | |
Python | 2 | Collecting Github data for theorem-proving scripts. | Jan 12, 2022 | |
Python | 6 | "proving-contest"-backends for several theorem provers | Oct 27, 2022 | |
JavaScript | 2 | A highlight.js language grammar for the Lean theorem proving language. | Oct 10, 2021 | |
Lean | 2 | An introduction to theorem proving in Lean for the impatient. | May 10, 2023 | |
Coq | 21 | The formal proof of the Odd Order Theorem | Aug 31, 2022 | |
Racket | 3 | A very simple module's language for theorem proving | Jan 31, 2021 | |
C++ | 589 | LLMs as Copilots for Theorem Proving in Lean | Jan 18, 2024 | |
Lean | 99 | Perfectoid spaces in the Lean formal theorem prover. | Jul 09, 2022 | |
Python | 59 | Resolution theorem proving for predicate logic in pure Python. | Aug 10, 2022 | |
Coq | 125 | Formal proof of the Four Color Theorem [maintainer=@ybertot] | Mar 30, 2023 | |
Java | 20 | The code for "Decomposing Java applications" talk. | Jan 27, 2022 | |
Jupyter Notebook | 382 | An educational demonstration of breaking the Enigma machine | Aug 12, 2022 | |
Python | 66 | This is the formal code implementation of the CVPR 2022 paper 'Federated Class Incremental Learning'. | May 14, 2023 | |
Python | 8 | Source codes for the paper "Robustness of Demonstration-based Learning Under Limited Data Scenario" | Nov 11, 2022 | |
C | 6 | ncurses-based simulator for enigma & fialka code machines | Jul 21, 2020 | |
TeX | 1408 | The "Yellow Paper": Ethereum's formal specification | Aug 11, 2022 | |
TeX | 2 | The "Yellow Paper": Ethereum's formal specification | Jan 09, 2022 | |
None | 2 | The "Yellow Paper": Ethereum's formal specification | Oct 19, 2021 | |
Python | 7 | The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset | May 22, 2023 | |
Python | 16 | Algorithms for curriculum learning. The code of the "Mastering Rate based Curriculum Learning" paper. | Jan 07, 2023 | |
Python | 2 | Using formal methods for verifying Q-learning-based systems | Aug 07, 2022 | |
Coq | 3 | Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog] | Dec 11, 2021 | |
Python | 7 | The evaluation code for the paper "Radar Aided 6G Beam Prediction: Deep Learning Algorithms and … | Mar 05, 2023 | |
Jupyter Notebook | 158 | Learning the Enigma with Recurrent Neural Networks | Dec 20, 2023 | |
Standard ML | 28 | Athena is a programming language and an interactive theorem proving environment for proof engineering. | May 22, 2022 | |
Python | 2 | Code for the paper: Graph-Based Design of Hierarchical Reinforcement Learning Agents | Jan 27, 2021 | |
C++ | 11 | Open Enigma - This repository contains the Arduino code for the S&T GeoTronics M4 Enigma. | Feb 11, 2023 | |
Python | 12 | An implementation of the Paper Enigma machine in Python | Apr 11, 2023 | |
Python | 41 | PyTorch code for the paper: "FeatMatch: Feature-Based Augmentation for Semi-Supervised Learning" | Aug 19, 2022 | |
Python | 15 | Code for the paper "Symbiotic Adversarial Learning for Attribute-based Person Search", ECCV2020 | Oct 15, 2022 | |
Lean | 29 | A formal verification of the babySNARK proof system and others, using the Lean Theorem Prover. | May 22, 2023 | |
Python | 2 | Code repository for the backend of Enigma 7.0 | Aug 19, 2022 | |
JavaScript | 2 | Code repository for the frontend of Enigma 7.0 | Aug 19, 2022 | |
Lean | 2 | Proving the four squares theorem using modular forms. Assuming intermediate propositions, ideally as little as … | Dec 23, 2021 | |
Python | 2 | The complete code of the paper "Multimodal Counterfactual Learning Network for Multimedia-based Recommendation" | May 05, 2023 | |
Python | 4 | Source code for the paper CSI-Based Physical Layer Authentication via Deep Learning | May 30, 2023 | |
TeX | 16 | Source of paper “A critique of the CAP theorem” | Jul 30, 2021 | |
None | 2 | Examples from the paper "Quantifying and Generalizing the CAP Theorem" | Oct 11, 2022 | |
Python | 573 | Code for the paper "Meta-Learning Shared Hierarchies" | Aug 12, 2022 | |
Python | 603 | Code for the paper "Generative Adversarial Imitation Learning" | Aug 09, 2022 | |
Jupyter Notebook | 54 | Code repository for the paper - "Matryoshka Representation Learning" | Apr 28, 2023 | |
Python | 2 | Demonstration Paper Submitted at the Workshop on semantic techniques for narrative-based understanding | Sep 25, 2023 | |
Python | 3 | Source code and data for the paper "Testing the Plasticity of Reinforcement Learning Based Systems" | Mar 07, 2023 |