Best AI tools for< Applied Mathematician >

Ferhat Erata is an AI application developed by a Computer Science PhD graduate from Yale University. The application focuses on training transformers to solve NP-complete problems using reinforcement learning and improving test-time compute strategies for reasoning. It also explores learning randomized reductions and program properties for security, privacy, and side-channel resilience. Ferhat Erata is currently an Applied Scientist at the Automated Reasoning Group at AWS, working on Neuro-Symbolic AI to prevent factual errors caused by LLM hallucinations using mathematically sound Automated Reasoning checks.

Applied AI Institute is an educational platform that provides AI education to business and IT professionals. They offer a variety of instructor-led webinars, tailored courses, guided hackathons, and solution development services. The institute focuses on enhancing learners' competencies and attitudes for success by offering customized courses with real-world client projects. Additionally, they provide consultation services to create solution assets for specific use cases, ensuring optimal results.

Faculty AI is a leading applied AI consultancy and technology provider, specializing in helping customers transform their businesses through bespoke AI consultancy and Frontier, the world's first AI operating system. They offer services such as AI consultancy, generative AI solutions, and AI services tailored to various industries. Faculty AI is known for its expertise in AI governance and safety, as well as its partnerships with top AI platforms like OpenAI, AWS, and Microsoft.

Abacus.AI is the world's first AI platform where AI, not humans, build Applied AI agents and systems at scale. Using generative AI and other novel neural net techniques, AI can build LLM apps, gen AI agents, and predictive applied AI systems at scale.

Cognition is an applied AI lab that has developed Devin, a collaborative AI teammate designed to assist engineering teams in achieving more. Devin is the world's first AI software engineer, available for all engineering teams. The team behind Cognition comprises individuals with extensive experience in applied AI at top companies, and they are focused on building AI that can reason and solve complex problems.

Dan Rose AI is a platform focused on applied artificial intelligence, providing insights and strategies on how AI can be utilized in the present time for real value. The website features blog posts, speaking engagements, and consulting services related to AI applications and strategies. Dan Rose Johansen, the founder, emphasizes practical approaches to AI implementation and its strategic use.

Victor Dibia's website showcases his expertise in Applied Machine Learning and Human-Computer Interaction (HCI). He is a Principal Research Software Engineer at Microsoft Research, focusing on Generative AI. The site features his publications, projects, CV, and blog posts, covering topics such as multi-agent systems, recommender systems, and more. Victor's work has been recognized in conferences and media outlets, highlighting his contributions to the field of AI and HCI.

Runway is an applied AI research company shaping the next era of art, entertainment, and human creativity. With a suite of creative tools designed to turn ideas into reality, Runway empowers users to explore the possibilities of AI-generated worlds. Founded in 2018, Runway has been pushing creativity forward with cutting-edge research in artificial intelligence and machine learning, collaborating with leading institutes worldwide.

Runway is an AI tool that advances creativity by building multimodal AI systems to usher in a new era of human creativity. It offers a suite of creative tools designed to turn ideas into reality using AI models that understand and generate worlds. Runway empowers filmmakers to achieve their creative vision with AI, and it also hosts platforms and initiatives to celebrate and empower the next generation of storytellers.

Connected Papers is a search engine for academic papers that uses artificial intelligence to help users find and explore relevant research. It allows users to search for papers by keyword, author, or title, and then explore the connections between them. Connected Papers also provides a variety of tools to help users organize and manage their research, including the ability to create custom collections of papers, add notes and annotations, and share their research with others.

Uthana is a generative AI tool for 3D character animation that allows users to easily create realistic motion for characters. It offers features such as generating motion, applying to any model, adjusting, clipping, blending, and more. With Uthana, users can animate characters in seconds using simple inputs and reference videos. The tool supports any rig and provides output support for popular software like Maya, Blender, Unreal, and Unity. Uthana also allows users to merge multiple motion prompts, tweak bone positions, and download animations in various formats. It offers unlimited generation and 20 seconds of animations free per month, with additional pricing options for higher volumes. Additionally, Uthana provides collaboration opportunities for studios, including style transfers, API integrations, and data siloing for custom models and data organization.

Writefull X is a suite of AI-powered writing tools designed to help students and researchers with their academic writing. The tools include a title generator, abstract generator, paraphraser, academizer, and GPT detector. Writefull X is also available as an add-in for Microsoft Word and Overleaf.

AI Mindset is a platform created by Conor Grennan that focuses on helping individuals and organizations understand and implement generative AI technologies. The platform offers insights, strategies, and news related to AI, along with training courses and resources to unlock the power of generative AI. Conor Grennan, a renowned expert in the field, has trained thousands of leaders and collaborated with prestigious organizations worldwide to drive innovation through AI solutions.

TOPBOTS is a platform focused on Applied AI for Business, providing insights and resources on artificial intelligence, machine learning, automation, bots, and chatbots. The website covers a wide range of topics such as computer vision, conversational AI, natural language processing, HR & recruiting, marketing, and research summaries. TOPBOTS aims to help businesses understand and apply technical breakthroughs in AI to enhance their operations and strategies.

Cognition is an applied AI lab focused on reasoning. Their first product, Devin, is the first AI software engineer. Cognition is a small team based in New York and the San Francisco Bay Area.

Altera is an applied research company focused on building digital humans with fundamental human qualities. Led by Dr. Robert Yang, the team comprises computational neuroscientists, researchers, and engineers from prestigious institutions. Their mission is to create digital beings that can live, care, and grow alongside humans. The company's early research prototypes in games have paved the way for the development of digital humans that can interact with users in various ways.

Ripik.ai is an applied AI company developing computer vision agents—an automated pair of eyes for industries like steel, cement, and chemicals. These AI-driven agents provide 24/7 monitoring with 95%+ accuracy, enabling real-time decision-making while eliminating human error and inefficiencies. Ripik's Computer Vision AI Platform offers solutions for material, process, and equipment monitoring, driving higher throughput, improved energy efficiency, and enhanced quality, delivering direct and measurable gains across industrial operations.

AI Summer is a free educational platform that covers research and applied trends in AI and Deep Learning. It provides accessible and comprehensive content from the entire spectrum of AI to bridge the gap between researchers and the public. The platform simplifies complex concepts and drives scientific research by offering highly-detailed overviews of recent deep learning developments and thorough tutorials on popular frameworks. AI Summer is a community that seeks to demystify the AI landscape and enable new technological innovations.

Link is a Decision Intelligence platform that offers Agile Applied AI and Machine Learning solutions. The platform provides workshops on AI/ML/DI, Decision Intelligence Solutions, and Assured Agile AI Resources. Users can access live model galleries, blogs, news, and learn about Decision Intelligence Models. Link aims to help business leaders prepare for the AI paradigm shift by offering tools and resources for understanding and applying artificial intelligence effectively.

11:59 is an AI-powered business and digital transformation consulting service that aims to accelerate your transformation journey by leveraging GenAI and cloud technology. They work with you to build tailored solutions that reduce costs, enhance decision-making, and elevate your competitive edge. With expertise in applied AI, innovation lab, and transformation services, 11:59 helps businesses of all sizes to stay ahead of the curve in today's rapidly evolving technology landscape.

SciMLBenchmarks.jl holds webpages, pdfs, and notebooks showing the benchmarks for the SciML Scientific Machine Learning Software ecosystem, including: * Benchmarks of equation solver implementations * Speed and robustness comparisons of methods for parameter estimation / inverse problems * Training universal differential equations (and subsets like neural ODEs) * Training of physics-informed neural networks (PINNs) * Surrogate comparisons, including radial basis functions, neural operators (DeepONets, Fourier Neural Operators), and more The SciML Bench suite is made to be a comprehensive open source benchmark from the ground up, covering the methods of computational science and scientific computing all the way to AI for science.

InternLM is a powerful language model series with features such as 200K context window for long-context tasks, outstanding comprehensive performance in reasoning, math, code, chat experience, instruction following, and creative writing, code interpreter & data analysis capabilities, and stronger tool utilization capabilities. It offers models in sizes of 7B and 20B, suitable for research and complex scenarios. The models are recommended for various applications and exhibit better performance than previous generations. InternLM models may match or surpass other open-source models like ChatGPT. The tool has been evaluated on various datasets and has shown superior performance in multiple tasks. It requires Python >= 3.8, PyTorch >= 1.12.0, and Transformers >= 4.34 for usage. InternLM can be used for tasks like chat, agent applications, fine-tuning, deployment, and long-context inference.

This repository provides resources and materials for learning fundamental mathematical concepts essential for artificial intelligence, including linear algebra, calculus, and LaTeX. It includes lecture notes, video playlists, books, and practical sessions to help users grasp key concepts. The repository aims to equip individuals with the necessary mathematical foundation to excel in machine learning and AI-related fields.

optillm is an OpenAI API compatible optimizing inference proxy implementing state-of-the-art techniques to enhance accuracy and performance of LLMs, focusing on reasoning over coding, logical, and mathematical queries. By leveraging additional compute at inference time, it surpasses frontier models across diverse tasks.

MAVIS (Math Visual Intelligent System) is an AI-driven application that allows users to analyze visual data such as images and generate interactive answers based on them. It can perform complex mathematical calculations, solve programming tasks, and create professional graphics. MAVIS supports Python for coding and frameworks like Matplotlib, Plotly, Seaborn, Altair, NumPy, Math, SymPy, and Pandas. It is designed to make projects more efficient and professional.

Callytics is an advanced call analytics solution that leverages speech recognition and large language models (LLMs) technologies to analyze phone conversations from customer service and call centers. By processing both the audio and text of each call, it provides insights such as sentiment analysis, topic detection, conflict detection, profanity word detection, and summary. These cutting-edge techniques help businesses optimize customer interactions, identify areas for improvement, and enhance overall service quality. When an audio file is placed in the .data/input directory, the entire pipeline automatically starts running, and the resulting data is inserted into the database. This is only a v1.1.0 version; many new features will be added, models will be fine-tuned or trained from scratch, and various optimization efforts will be applied.

This repository serves as a comprehensive hub for updates on generative AI research, interview materials, notebooks, and more. It includes monthly best GenAI papers list, interview resources, free courses, and code repositories/notebooks for developing generative AI applications. The repository is regularly updated with the latest additions to keep users informed and engaged in the field of generative AI.

This repository is a curated list of research papers that explore the integration of Large Language Model (LLM) technology with tabular data. It aims to provide a comprehensive resource for researchers and practitioners interested in this emerging field. The repository includes papers on a wide range of topics, including table-to-text generation, table question answering, and tabular data classification. It also includes a section on related datasets and resources.

BABILong is a generative benchmark designed to evaluate the performance of NLP models in processing long documents with distributed facts. It consists of 20 tasks that simulate interactions between characters and objects in various locations, requiring models to distinguish important information from irrelevant details. The tasks vary in complexity and reasoning aspects, with test samples potentially containing millions of tokens. The benchmark aims to challenge and assess the capabilities of Large Language Models (LLMs) in handling complex, long-context information.

LLM-PowerHouse is a comprehensive and curated guide designed to empower developers, researchers, and enthusiasts to harness the true capabilities of Large Language Models (LLMs) and build intelligent applications that push the boundaries of natural language understanding. This GitHub repository provides in-depth articles, codebase mastery, LLM PlayLab, and resources for cost analysis and network visualization. It covers various aspects of LLMs, including NLP, models, training, evaluation metrics, open LLMs, and more. The repository also includes a collection of code examples and tutorials to help users build and deploy LLM-based applications.

Awesome-LLM-Quantization is a curated list of resources related to quantization techniques for Large Language Models (LLMs). Quantization is a crucial step in deploying LLMs on resource-constrained devices, such as mobile phones or edge devices, by reducing the model's size and computational requirements.

The `Call-for-Reviewers` repository aims to collect the latest 'call for reviewers' links from various top CS/ML/AI conferences/journals. It provides an opportunity for individuals in the computer/ machine learning/ artificial intelligence fields to gain review experience for applying for NIW/H1B/EB1 or enhancing their CV. The repository helps users stay updated with the latest research trends and engage with the academic community.

The `vectara-agentic` Python library is designed for developing powerful AI assistants using Vectara and Agentic-RAG. It supports various agent types, includes pre-built tools for domains like finance and legal, and enables easy creation of custom AI assistants and agents. The library provides tools for summarizing text, rephrasing text, legal tasks like summarizing legal text and critiquing as a judge, financial tasks like analyzing balance sheets and income statements, and database tools for inspecting and querying databases. It also supports observability via LlamaIndex and Arize Phoenix integration.

This repository is a curated collection of data science and AI concepts and IQs, covering topics from foundational mathematics to cutting-edge generative AI concepts. It aims to support learners and professionals preparing for various data science roles by providing detailed explanations and notebooks for each concept.

Hurley AI is a next-gen framework for developing intelligent agents through Retrieval-Augmented Generation. It enables easy creation of custom AI assistants and agents, supports various agent types, and includes pre-built tools for domains like finance and legal. Hurley AI integrates with LLM inference services and provides observability with Arize Phoenix. Users can create Hurley RAG tools with a single line of code and customize agents with specific instructions. The tool also offers various helper functions to connect with Hurley RAG and search tools, along with pre-built tools for tasks like summarizing text, rephrasing text, understanding memecoins, and querying databases.

Advanced tool for detailed PDE solutions and analysis

Acts as an applied economics expert with the teaching style of physicist Richard Feynman

I assist with Disc Golf rules and how they should be applied in competitive scenarios.

Generates social research proposals, data analysis and cultural insight reports for academic and applied sociologists.

un professeur de mathématiques appliquées aidant les étudiants de niveaux avancés. Ce GPT offre un soutien en mathématiques appliquées, couvrant des sujets variés et fournissant des applications pratiques.

Analyzes books and texts, applies lessons to life, creates visual prompts.

Brainstormer takes in a notion, applies a bunch of perspective agents set to improve it by seeking novelty, and spits out a bunch of improved creative ideas.