MNIST Handwritten Database as JSON
☆13Jan 23, 2019Updated 7 years ago
Alternatives and similar repositories for mnist_handwritten_json
Users that are interested in mnist_handwritten_json are comparing it to the libraries listed below
Sorting:
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- Connection provers in Rust☆14Mar 13, 2024Updated last year
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Examples for using Amazon SageMaker Operators for Kubernetes☆12Mar 4, 2020Updated 6 years ago
- Project temple for building out a full AWS application☆13Nov 30, 2019Updated 6 years ago
- Deploying a serverless inference service with Amazon SageMaker Pipelines, AWS Lambda, Amazon API Gateway, and CDK☆13Apr 12, 2021Updated 4 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- ☆12Dec 25, 2023Updated 2 years ago
- ☆13Mar 27, 2024Updated last year
- Command line client for Valohai☆17Jan 22, 2026Updated last month
- Getting Started with CheriBSD☆15Feb 11, 2026Updated 3 weeks ago
- ☆16Updated this week
- OpenShift Infrastructure Architecture Workshop☆18Dec 3, 2024Updated last year
- A GitHub Action for Terratag - https://github.com/env0/terratag☆15Jul 19, 2023Updated 2 years ago
- Immutable, auto-updating Jenkins Master. Data stored on encrypted EFS.☆14Mar 20, 2024Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Feb 19, 2023Updated 3 years ago
- This Terraform module helps to setup an AWS account with the requirements of CIS Amazon Web Services Foundations Benchmark v1.1.0☆16Apr 30, 2018Updated 7 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆27May 20, 2025Updated 9 months ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆17Jan 1, 2022Updated 4 years ago
- Crate for reading TPTP files.☆15May 11, 2022Updated 3 years ago
- Assignments for course IERG 6130: Reinforcement Learning and Beyond☆12Mar 9, 2021Updated 4 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 9 months ago
- ☆16Oct 27, 2024Updated last year
- [CVPR2025] Is Your World Simulator a Good Story Presenter? A Consecutive Events-Based Benchmark for Future Long Video Generation☆18May 2, 2025Updated 10 months ago
- General Inductive Logic Programming System☆18Sep 22, 2022Updated 3 years ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆18Feb 19, 2026Updated 2 weeks ago
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago
- Automated CIS Benchmark Compliance Audit for Ubuntu 20 with Ansible & GOSS☆17Sep 29, 2025Updated 5 months ago
- A Rocq version of the miniF2F dataset☆23Oct 27, 2025Updated 4 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- TensorFlow examples for Valohai platform☆20Jan 28, 2026Updated last month
- An inequality benchmark for theorem proving☆21Feb 1, 2026Updated last month
- ☆23Feb 23, 2026Updated last week
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆49Jan 25, 2026Updated last month
- Terraform modules and scripts to manage LEAD environments☆19Aug 3, 2023Updated 2 years ago
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆25Jan 13, 2026Updated last month
- This solution demonstrates the setup and deployment of Amazon SageMaker Studio into a private VPC and implementation of multi-layer secur…☆22Jul 31, 2022Updated 3 years ago
- This is a repository for the Duke University Cloud Computing course project on Serveless Data Engineering Pipeline. For this project, I r…☆21Apr 8, 2021Updated 4 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆27Jan 23, 2026Updated last month