☆21May 17, 2026Updated last month
Alternatives and similar repositories for OProver
Users that are interested in OProver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of Horton hash tables☆10Aug 24, 2016Updated 9 years ago
- ☆21Apr 14, 2026Updated 3 months ago
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated 11 months ago
- ☆58May 28, 2024Updated 2 years ago
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [ICLR-2026] Official Implementation of our paper "THOR: Tool-Integrated Hierarchical Optimization via RL for Mathematical Reasoning".☆33Feb 26, 2026Updated 4 months ago
- wavedrom to verilog converter☆17Sep 14, 2021Updated 4 years ago
- ☆12Jul 4, 2020Updated 6 years ago
- ☆19Oct 17, 2024Updated last year
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- Design for Error Detection in Deep-Research Agents Trajectories.☆22Jun 4, 2026Updated last month
- Measuring the Signal to Noise Ratio in Language Model Evaluation☆31Aug 19, 2025Updated 10 months ago
- ☆43May 7, 2026Updated 2 months ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆29Aug 19, 2025Updated 10 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- GAP package guava - computations relative to error-correcting codes☆20Updated this week
- Some near drop in stl compatible hash tables that are a lot more space efficient than any other options.☆24Sep 16, 2022Updated 3 years ago
- ☆14Mar 8, 2023Updated 3 years ago
- TreeRL: LLM Reinforcement Learning with On-Policy Tree Search in ACL'25☆97Jun 16, 2025Updated last year
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆327Updated this week
- Official implementation for "Pruning Large Language Models with Semi-Structural Adaptive Sparse Training" (AAAI 2025)☆19Jul 1, 2025Updated last year
- ☆27Jun 16, 2026Updated 3 weeks ago
- [IJCAI 2024] QiMeng-CPU-v1: Automated CPU Design by Learning from Input-Output Examples☆33May 4, 2025Updated last year
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆46Apr 22, 2026Updated 2 months ago
- The official codes for our paper at COLING 2022: Semantic-Preserving Adversarial Code Comprehension☆12Oct 23, 2022Updated 3 years ago
- codes for ICML2021 paper iDARTS: Differentiable Architecture Search with Stochastic Implicit Gradients☆10May 27, 2021Updated 5 years ago
- ☆90Aug 16, 2025Updated 10 months ago
- 🔥🔥🔥Latest Papers, Codes on Uncertainty-based RL☆58Aug 24, 2025Updated 10 months ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆26Nov 11, 2017Updated 8 years ago
- ☆23Dec 7, 2023Updated 2 years ago
- ☆12Aug 16, 2018Updated 7 years ago
- TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice☆23Nov 24, 2025Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A-Soul-Data Json数据存放☆13Sep 17, 2022Updated 3 years ago
- ☆96Updated this week
- ☆31Jul 16, 2025Updated 11 months ago
- ☆10Jul 24, 2023Updated 2 years ago
- ☆11Feb 3, 2025Updated last year
- An extremely tiny hash table for 32-bit keys.☆29Oct 10, 2022Updated 3 years ago
- Deep Variational Information Bottleneck (DVIB) in PyTorch.☆10Apr 25, 2020Updated 6 years ago