Browse applications built on modern technologies. Explore PoC and MVP applications created by our community and discover innovative use cases for modern technologies.
ProofGuard AI uses advanced AI models to automatically verify, validate, and correct AI-generated mathematical proofs, ensuring logical consistency and mathematical rigor through multi-step reasoning and formal verification techniques.
MathGPT is an AI-powered tool that automates complex math problem-solving. Developed during the Lablab.ai hackathon in collaboration with @codewithdark.
A chatbot is created where the user asks questions about math problems, and the tutor responds with the solution to the problem.
We're proposing a RAG question answering bot for Gen AI documentation. It'll draw from knowledge bases like Vectara, Langchain, OpenAI, Meta, etc., allowing users to compare tools and resources across these platforms.
MathScripter simplifies math research! Scripting interface, data visualization & matrix operations. Integrates with Python & MATLAB scripts. Useful for engineering, education & research. Automate tasks & create interactive lessons.
AI Avatars to teach people programming in all languages. "Duolingo" for programming.
Hi, I'm the cursing math assistant, here to make your math problems more fun and harder. I'm also a jerk who likes to insult people. So, who are you, and why do you bother asking?
Discover how gamification transforms mathematical learning into an Engaging adventure. Unleash the potential of GPTs to make math learning fun and captivating.
All apps loaded