Computational Law

GitLaw is an AI contract drafting and redlining platform that generates lawyer‑vetted, context-aware NDAs, SaaS and freelance agreements, with tracked changes, explainable edits, version history, role-based collaboration, contract management alerts, and enterprise-grade encryption.

Chatlaw uses AI to help attorneys draft documents, briefs, and filings by pulling case law from 13 U.S. states. It accepts natural‑language legal questions, provides analysis, citations, and motion drafts, and integrates with Google Drive/Dropbox for collaboration and version control.

Law AI is a semantic search engine indexing 1 million legal cases and 40,000 contracts, enabling rapid precedent retrieval, clause generation, automated document review, deposition analysis, and custom AI agent training for faster, cost‑effective legal workflows.

Thomson Reuters offers a suite of tools for legal, tax, and business professionals, including Westlaw for legal research, CoCounsel for document workflow, Onesource for corporate tax compliance, and Clear for enhanced investigations and compliance efforts.

AI.Law generates court‑ready pleadings—complaints, motions, discovery responses—from case facts, automatically applying jurisdictional formatting and producing Word files in minutes. It shortens drafting time, ensures secure, compliant, isolated handling, and supports civil litigation teams.

DALL·2 is an AI system that generates realistic images and art based on natural language descriptions, allowing users to edit and create variations. Safety measures are in place to prevent harmful content.

Synthical is an AI tool in computational chemistry/materials science. It facilitates trend analysis, organic reaction exploration, molecular design using genetic algorithms, and encourages investigation into sustainable technologies across diverse chemical disciplines for enhanced scientific discov

V-Lawyer is an innovative AI tool that provides document generation, Q&A services, a law dictionary, and virtual consultations. It simplifies legal tasks using AI templates, instant answers, and personalized guidance for professionals and individuals.

Layman Law converts legal documents into plain English, explaining terms on any webpage via a browser extension, summarizing PDFs, and providing clause‑specific translations. It also supports conversational queries, enabling users to understand contracts quickly without legal expertise.

Brilliant is an interactive learning platform for ages 13+, offering bite-sized courses in math, computer science, and data analysis. It features personalized feedback, over 300 puzzles, and a community of learners to enhance problem-solving and critical thinking skills.

Ask an AI Lawyer delivers instant AI‑generated legal answers to a wide range of questions—from traffic violations to business formation—within five minutes. Users select jurisdiction, receive concise guidance, and view answers in a FAQ, while being reminded it’s not legal advice.

Law Insider AI Assistant provides AI-driven contract drafting, clause generation and validation against a public database, plus Word redlining, playbook-based drafting rules, clause search and summarization to accelerate reviews, negotiations and risk assessment.

Bethge Lab develops data‑centric, lifelong learning AI models for multimodal knowledge retrieval, theorem proving, and scientific forecasting, using compositional representations to prevent forgetting and mechanistic interpretability tools to model neural coding and attention.

Lawformer automates contract drafting, review, and lifecycle tasks with AI agents integrated into Word, CLM, and CRM. It converts static archives into searchable libraries, delivers real‑time clause suggestions, summarizes contracts, and supplies compliant templates for users, including automotive s

vLex is an AI‑powered legal research platform that aggregates over a billion documents from 100+ jurisdictions. It delivers natural‑language search, instant citation, contract‑review tools, litigation profiling, and secure integration with Microsoft, iManage, and APIs.

Filevine LOIS Platform centralizes legal documents, matter data, and workflows into a single source of truth for law firms, in‑house counsel, and government agencies. It offers AI‑enhanced drafting, deposition management, and contract analysis, with built‑in security and APIs for integration.

IntMath is an AI‑powered platform delivering instant, step‑by‑step solutions for algebra, geometry, trigonometry, calculus, physics, and word problems. Users can type or upload images, view graphs, and request human tutor support.

Harvey is an AI tool for legal professionals, streamlining research and task delegation. It offers a secure workspace for document management, workflow orchestration, and tailored prompt libraries, enhancing productivity and ensuring enterprise-grade security for sensitive information.

ChatLegal is an AI‑powered legal assistant that explains legal concepts, offers guidance on common matters, drafts basic documents, reviews contracts, highlights key clauses, summarizes case law, and supports individuals, small businesses, and legal professionals 24/7.

Aleph Alpha offers specialized large language models built on EU infrastructure, trained on domain‑specific data for legal, administrative, industrial, and scientific use. It ensures data sovereignty, compliance, and real‑time workflow integration for secure AI in public, manufacturing, and defense

Gauth.AI is an AI tool that instantly solves math problems in algebra, geometry, and physics. It offers step-by-step explanations and live tutor support for efficient homework help around the clock.

LearnFast AI offers a 24/7 instant solver for physics and math problems, providing step‑by‑step solutions using GPT‑4o. It handles calculations, text, and image inputs, supporting students, tutors, and lifelong learners with flexible submission options.

Legal Robot is a legal technology company that uses machine learning to understand legal language and help companies and individuals make better decisions through automated contract reviews, negotiations, and legal analytics tools.

StableCode is an innovative LLM-powered AI tool for coding assistance and learning. It enhances programmer productivity while serving as a resourceful teaching aid for beginners.

JudgeAI automates arbitration by applying legal algorithms to validate claims, analyze submissions, and build case narratives with fuzzy logic. It models party behavior, predicts outcomes, and calculates fair settlements across jurisdictions for firms and dispute centers.

Math AI solves equations via typed input or image uploads, offering step‑by‑step explanations across arithmetic, algebra, geometry, calculus, trigonometry, statistics, and linear algebra. It delivers accurate solutions in seconds, available 24/7 for homework, research, and professional learning and

DocLegal.AI is an AI legal assistant that streamlines contract drafting and document creation using lawyer‑reviewed templates, offers AI‑driven review and risk mitigation, and supports freelancers, small businesses, and legal professionals.

LawBotica transforms legal and regulatory documents into structured, searchable intelligence, providing explainable AI summaries, audit‑ready reports, timeline generation, cross‑document correlation, and gap detection to streamline review and enhance compliance tracking.

Siml.ai is a web-based platform for AI-driven physics simulations, enabling engineers and researchers to create, optimize, and visualize models in real time, significantly reducing computation times while managing cloud HPC infrastructure efficiently.

Darrow AI aggregates legal filings and public records, converts raw data into actionable insights, and routes them to the right professionals. It supports litigation from origination to case management, enabling faster, data‑backed decisions.

CodeLogician converts code into formal models, using neurosymbolic reasoning to build a MetaModel of dependencies across files. It generates test cases, verifies changes, finds hidden bugs, and supports regulated teams with instant, auditable software insights.

Vocareum delivers labs with IDEs, notebooks, and GPU/CPU clusters in isolated containers or accounts. It offers tutoring, code grading, and a unified gateway to AWS, Azure, GCP, Databricks, and foundation models. LMS integration and SOC 2 compliance enable scalable training.

Juri Flow is an AI legal assistant that lets users upload documents, chat in real time to extract key information, generate summaries, ask questions, and connect with specialist lawyers 24/7 for confidential, automated support.

BetterLegal Assistant offers AI‑powered contract reviews, extracting parties, terms, amounts, and timelines. It assesses legality and fairness, flags risks, provides negotiation points, and simplifies language for freelancers, SMBs, and startups.

Advomate automates legal research, summarizing statutes, case law, and online sources within seconds. It extracts PDF text, maps documents to regulations, and offers a chat interface for detailed contract analysis.

Constitucion.ai is a GPT‑4 powered chatbot that explains Chile’s proposed constitution in plain language, offering real‑time clause clarifications and contextual analysis via a web interface. An open‑source knowledge base invites community review and refinement.

AI Lawyer Lab builds semi‑automated legal workflows that convert manual practice into scalable operations. It evaluates processes, identifies bottlenecks, develops AI solutions with attorneys, trains staff, and turns tacit expertise into institutional knowledge for improved efficiency.

Luminance is a Legal-Grade AI platform for enterprise contract lifecycle management that automates drafting and clause population, reviews and extracts obligations, deadlines and risks at scale, supports AI-assisted negotiation/redlining in Word, and tracks compliance and obligations.

AI‑powered workspace for patent litigators that rapidly searches prior art, generates claim‑by‑claim charts with citations, produces ready‑to‑file templates, and supports real‑time collaboration with enterprise‑grade security. Customizable pitch feeds identify new litigation opportunities, all prote

Legaliser is an AI-powered contract analysis and drafting platform that helps users analyze, draft, assess fairness, identify risks, and detect anomalies in contracts.

Codemia is an interactive learning platform for engineers, offering 120+ system‑design challenges, 200+ visualized data‑structure problems, 20 UML‑based OOP exercises, live mock interview sessions, and AI analytics to pinpoint improvement areas.

SpeedLegal uses deep learning to analyze contracts, highlight key clauses, flag risks, and give concise summaries for multiple contract types and languages. It offers instant risk alerts, plain‑language explanations, and customizable amendment suggestions in a secure environment.

The Asimov Institute provides AI‑driven design tools for architects, designers, and marketers, generating novel concepts, styles, and ideas. Its models accelerate creative workflows, improve decision‑making, and support privacy‑aware research for future development.

Caseway automates legal and compliance workflows by ingesting, validating, and transforming court, government, insurance, and healthcare documents. It provides end‑to‑end encryption, lineage tracking, and native integrations with Salesforce, SharePoint, Dynamics, NetSuite, SAP, Oracle, and custom AP

A free, user-friendly, multilingual, and open-source AI image generator that utilizes Stable Diffusion.

Profound Academy provides customizable computer science curriculums with hands-on materials, automated grading, AI student assistance, and gamification features. It prepares students for technology and data science careers while promoting engagement and streamlined educator workflows.

AI Math Solver is a browser‑based tool that accepts text, typed input, or images of math problems and delivers step‑by‑step solutions across algebra, calculus, geometry, trigonometry, linear algebra, and word problems, with adaptive difficulty and a learning history.

The AI tool is a homework helper that uses math to provide solutions and explanations. It can solve math problems from a photo, generate practice problems, and adjust its explanations to fit the user's learning style.

Cosine is an on‑prem or VPC‑hosted AI assistant for software engineering that integrates with GitHub, Jira, Slack, and other tools to draft pull requests, write tests, detect bugs, and refactor code while enabling developer review and maintaining SOC 2/ISO 27001‑level security.

CourseMind is an AI-powered tool that helps efficiently manage online schools or organizations by providing course creation tools and marketing strategies to streamline management and enhance the learning experience for members.