Skip to content
OpenTrain AIFor AI Companies

ImProver: Agent-Based Automated Proof Optimization

Published Oct 1, 2024
arXiv PDF
Researcher verdict
Starting point
Use as implementation starting point
Benchmark evidence
Thin evidence
Verify before relying
Time to first repro
A few hours
Fast first run
Risk flags
2
Review before use

Results and benchmarks

Freshness tier: hot
ImProver: Agent-Based Automated Proof Optimization focuses on agentic tool use.

Implementation

Best maintained implementation now

Recommended
Confidence: High
Reproducibility: Limited
riyazahuja/ImProver

ImProver: Agent-Based Automated Proof Optimization

42 stars · 8 forks · Last push Apr 18, 2026

  • License
  • CI
  • Dependencies
  • Docker

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata · Matched via arXiv identifier search

Why this implementation
Confidence: high

riyazahuja/ImProver is the strongest maintained implementation based on ranking signals. Dependency/environment manifests are present.

Open riyazahuja/ImProver
Reproduction risks
  • License metadata missing
  • No CI workflows detected
  • Selected riyazahuja/ImProver as the strongest maintained implementation for new work.
  • Includes dependency/environment manifest signals.
  • Repository activity is within the last 24 months.

Compare implementation paths

Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.

riyazahuja/ImProver
best maintained
Maintenance
Recently updated
Confidence
High
Reproducibility
Limited
Stars
42
Last push
Apr 18, 2026 (128d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

  • No CI pipeline detected
  • No tagged releases
  • No Docker setup
cmu-l3/ntp-toolkit
alternative
Maintenance
Active
Confidence
Low
Reproducibility
Limited
Stars
36
Last push
Aug 11, 2026 (14d)

Community adoption signal (36 stars)

  • No CI pipeline detected
  • No tagged releases
  • No Docker setup

Reproduction readiness

Time to first repro: hours
Last checked: Aug 24, 2026

Setup required

Dependencies pinned, manual setup needed

  • riyazahuja/ImProver has requirements.txt but requires manual environment setup.
  • No Dockerfile, so you will set up the environment manually.
  • No CI pipeline, so test coverage is unknown.
Open riyazahuja/ImProver

Quick start

git clone https://github.com/riyazahuja/ImProver.git
pip install -r requirements.txt

Repositories and ecosystem

No additional verified repositories beyond the primary recommendation.

Hugging Face artifacts

No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.

Models

No trustworthy models matches right now.

Search models on Hugging Face

Datasets

Curated Related

Broaden dataset search

Agentic systems Agentic tool use dataset Agentic systems AI Agents dataset Agentic tool use dataset

Spaces

Curated Related

Broaden space search

Agentic systems Agentic tool use demo Agentic systems AI Agents demo Agentic tool use demo

Research context

Tasks

Agentic tool use

Methods

Agentic systems

Domains

AI Agents

Evaluation and human feedback data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX
Explore similar papers

Jump to Paper2Code search queries derived from this paper's research context.

Agentic tool use Agentic systems AI Agents

Data includes links from Papers with Code ( CC-BY-SA-4.0 ).