apps
Interactive AI products backed by a repository. CoolFace lists them; the app itself runs at the source.
theorem-trovetales-theorem-parallel-universe-explorertheorem-tales-titanium-ure-caieirasshared-socket-theoremrepro-flexrank-nested-matrix-theoremsrepro-optprover-bridging-olympiad-and-optimization-through-continual-training-in-formal-theoremrepro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solvingrepro-agentic-theorem-prover-theoryrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasoninrepro-beyond-theorem-proving-formal-problem-solvingrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasoninrepro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solvingrepro-hallucination-is-a-consequence-of-space-optimality-a-rate-distortion-theorem-for-membershirepro-beyond-theorem-proving-formulation-framework-and-benchmark-for-formal-problem-solvingstatistical-provability-theorem-prover-reprorepro-why-agentic-theorem-prover-works-provability-theoryrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-ofrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasoninrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasrepro-agentic-theorem-prover-provabilityrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasonin