AI Research / Formal theorem proving
A Prove Together problem page for the Berge–Fulkerson conjecture, with a formal Lean target, provenance notes, reusable lemmas, and discussion around agent-assisted proof work.
The page is clearly about an AI-adjacent formal theorem-proving workflow, not a generic article. It shows a specific open mathematical target, visible Lean/formalization details, linked reusable lemmas, and public discussion, which is enough evidence for a useful directory listing.
The snapshot does not show a finished tool product page or user-facing demo; it is mainly a single conjecture entry with supporting formalization notes. It also does not show pricing, onboarding, or broader platform features beyond this problem page.
Last evaluated 32 days ago. Current rank #2044. Up 6 spots in the rankings.
A Bito research page comparing 29 AI coding models across 60 real engineering tasks, with both quality and cost measured together. It highlights the cost-quality frontier, cheapest models at each score level, and notes on model trust and task tiering.
An autonomous research system that runs on a single workstation and aggressively checks its own claims with adversarial self-verification, replication, and calibration audits.
An MCP-based research agent that searches live web data through SQL and publishes reports with the full query and tool trajectory.
Uno is a research repository for speeding up LLM inference with discrete diffusion and lossless multi-token decoding. The repo includes inference, training, and evaluation code, plus installation steps, checkpoints, and example workflows.
