GasStationManager

LeanTool. A "code intepreter" for Lean

SafeVerify. A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions

CodeProofTheArena. Lean coding problem solving challenge website with proof verification

ArtificialAlgorithms. Verified algorithms in Lean, implemented and proved by AIs

ArtificialTheorems. AI-assisted formalizations of machine learning theory

FormalizeWithTest. Autoformalization of coding problems, verified with test cases

VibeRegistry. Python

CodeProofBenchmark. Benchmark set of code-with-proof problems and solutions

WakingUp. Experiments on detecting and recovering from hallucinations in AI coding models

GasStationManager.github.io. Ruby

ProvablyCorrectVibeCoding. Web app for vibe coding in Lean

ReplaceNativeDecide. AI-assisted verification of native_decide