Rhombic Research is an AI and mathematics research company.

Projects

MathBB An AI-powered IDE for mathematics writing and research mathbb.app YouTube demo
ReelDocs Document writing with verifiable human authorship reeldocs.io
Lean optimizations Performance optimizations for the Lean programming language toolchain paper code

Contact: hello@rhombicresearch.ai