sahibzada-allahyar/Formal-Verification-RSI

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.

LLM & mô hình nền tảngPython MIT 127tạo 2025-02-22

Website GitHub

Sao

2.893

Tăng 1 ngày

—

Tăng 7 ngày

—

Tăng 30 ngày

—

Lịch sử sao

Bắt đầu theo dõi: 2026-11-13

Đồ thị xuất hiện sau ít nhất 2 ngày thu thập.

#ai-agents#ai-for-math#ai-for-science#ai-safety#autoformalization#automated-theorem-proving#coding-agents#dafny#formal-methods#formal-verification#lean4#llm#program-verification#proof-assistant#recursive-self-improvement#reward-hacking#rsi#self-improving-ai#theorem-proving#verified-code

Người đóng góp nhiều nhất

Chưa thu thập (chạy job contributors).