Search Results for "logical"
Sort By:
Showing 29 open source projects for "logical"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Incredable is the first DLT-secured platform that allows you to save time, eliminate errors, and ensure your organization is compliant all in one place.Incredable streamlines and simplifies the complex process of medical credentialing for hospitals and medical facilities, helping you save valuable time, reduce costs, and minimize risks. With Incredable, you can effortlessly manage all your healthcare providers and their credentials within a single, unified platform. Our state-of-the-art technology ensures top-notch data security, giving you peace of mind.
-
1
DeepSeekMath-V2
Towards self-verifiable mathematical reasoning
...Unlike general-purpose LLMs that might generate plausible-looking math but sometimes hallucinate or mishandle rigorous logic, Math-V2 is engineered to not only generate solutions but also self-verify them, meaning it examines the derivations, checks logical consistency, and flags or corrects mistakes, producing proofs + verification rather than just a final answer. Under the hood, Math-V2 uses a massive Mixture-of-Experts (MoE) architecture (activated parameter count reportedly in the hundreds of billions) derived from DeepSeek’s experimental base architecture. For math problems, it employs a generator-verifier loop: it first generates a candidate proof (or solution path), then runs a verifier that assesses correctness and completeness. -
2
GLM-4.6
Agentic, Reasoning, and Coding (ARC) foundation models
GLM-4.6 is the latest iteration of Zhipu AI’s foundation model, delivering significant advancements over GLM-4.5. It introduces an extended 200K token context window, enabling more sophisticated long-context reasoning and agentic workflows. The model achieves superior coding performance, excelling in benchmarks and practical coding assistants such as Claude Code, Cline, Roo Code, and Kilo Code. Its reasoning capabilities have been strengthened, including improved tool usage during inference... -
3
Agno
Lightweight framework for building Agents with memory, knowledge, etc.
Agno is a modular, open-source artificial general intelligence (AGI) research platform that allows developers to build, evaluate, and experiment with cognitive architectures in a composable way. It provides a flexible framework for modeling reasoning, memory, decision-making, and planning, aimed at long-term AI research beyond narrow learning. Agno embraces multi-agent environments and symbolic reasoning as part of its core design, enabling experiments with structured knowledge,... -
4
DeepSeek R1
Open-source, high-performance AI model with advanced reasoning
DeepSeek-R1 is an open-source large language model developed by DeepSeek, designed to excel in complex reasoning tasks across domains such as mathematics, coding, and language. DeepSeek R1 offers unrestricted access for both commercial and academic use. The model employs a Mixture of Experts (MoE) architecture, comprising 671 billion total parameters with 37 billion active parameters per token, and supports a context length of up to 128,000 tokens. DeepSeek-R1's training regimen uniquely... -
SIEM | API Security | Log Management SoftwareBuilt on the Graylog Platform, Graylog Security is the industry’s best-of-breed threat detection, investigation, and response (TDIR) solution. It simplifies analysts’ day-to-day cybersecurity activities with an unmatched workflow and user experience while simultaneously providing short- and long-term budget flexibility in the form of low total cost of ownership (TCO) that CISOs covet. With Graylog Security, security analysts can:
-
5
MCPHub
A unified hub for centralized management and dynamic organization
MCPHub is a unified hub that organizes many MCP servers behind clean Streamable HTTP (SSE) endpoints so clients can connect to “all tools,” a specific server, or logical groups. It’s designed to simplify multi-server operations: one process can multiplex several named STDIO servers and re-expose them over HTTP for IDEs and services. The README ships in multiple languages and includes deployment and routing guidance, signaling an intention to reach a broad user base. The project publishes to npm with frequent updates and provides a dashboard preview to help visualize connected servers. ... -
6
Coconut
Training Large Language Model to Reason in a Continuous Latent Space
...The repository is built with Hugging Face Transformers, PyTorch Distributed, and Weights & Biases (wandb) for logging, supporting large-scale experiments on mathematical and logical reasoning datasets such as GSM8K, ProntoQA, and ProsQA. -
7
GLM-4
GLM-4 series: Open Multilingual Multimodal Chat LMs
...The GLM-4-32B-0414 models are trained on ~15T high-quality data (including substantial synthetic reasoning data), then post-trained with preference alignment, rejection sampling, and reinforcement learning to improve instruction following, coding, function calling, and agent-style behaviors. The GLM-Z1-32B-0414 line adds deeper mathematical, coding, and logical reasoning via extended reinforcement learning and pairwise ranking feedback, while GLM-Z1-Rumination-32B-0414 introduces a “rumination” mode that performs longer, tool-using deep research for complex, open-ended tasks. A lightweight GLM-Z1-9B-0414 brings many of these techniques to a smaller model, targeting strong reasoning under tight resource budgets. -
8
WrenAI
Open-source SQL AI Agent for Text-to-SQL. Make Text2SQL Easy
Wren AI is a SQL AI Agent for data teams to get results and insights faster by asking business questions without writing SQL, and it's open-source. Wren AI has implemented a semantic engine architecture to provide the LLM context of your business; you can easily establish a logical presentation layer on your data schema that helps LLM learn more about your business context. With Wren AI, you can process metadata, schema, terminology, data relationships, and the logic behind calculations and aggregations with “Modeling Definition Language”, to generate accurate SQL queries with semantic context. When starting a new conversation in Wren AI, your question is used to find the most relevant tables. ... -
9
Temporal Inference Engine
A real time inference engine for temporal logical specifications
A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. ... -
Network Management Software and Tools for Businesses and Organizations | Auvik NetworksReduce IT headaches and save time with a proven solution for automated network discovery, documentation, and performance monitoring. Choose Auvik because you'll see value in minutes, and stay with us to improve your IT for years to come.
-
10
Qwen Chat
An AI assistant for everyone, powered by the Qwen series models
...It excels at deep reasoning and cognitive tasks, helping users solve complex problems in math, science, coding, and more. The AI supports creative writing by generating narratives, characters, and plot ideas, blending imagination with logical coherence. Qwen Chat’s web search feature delivers fast, accurate, and real-time answers sourced from authoritative references. It can analyze and summarize large documents, extracting key insights and visualizing data for better decision-making. With multimodal understanding, Qwen Chat processes audio, images, and videos seamlessly within a single conversation. ... -
11
EGO AGI
An inside-out cognitive engine based on autopoiesis and set theory
...This approach aligns with autopoiesis, where a self-organizing system's cognitions consist of operations aimed at maintaining its own organization in response to environmental pressures. EGO's operational domain is an object language we call the 'E-language'. Each well-formed formula of the E-language is both a set and a logical statement. This enables EGO to express in the E-language the set-theoretic relationships that constitute its organization and the operations it implements to preserve it. EGO's ability to self-program its operations and express its own organization makes it a contribution to the field of Artificial General Intelligence (AGI). -
12
SPM - Monitoring system
Monitoring Tool for your IT Environment
SPM Monitoring System - Complete Solution for Efficient Monitoring and Alerting SPM Monitoring System is an all-in-one monitoring solution for IT environments that offers comprehensive features to ensure high availability, stability, and optimal performance of your infrastructure. With SPM Monitoring Systems, you can monitor your network, servers, applications, and services with ease, and receive timely alerts when issues arise. Host Availability Monitoring. Agent-Based Monitoring:... -
13
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
14
AerinSistemas-Noname
Elasticsearch to Pandas dataframe or CSV
API and command line utility, written in Python, for querying Elasticsearch exporting result as documents into a CSV file. The search can be done using logical operators or ranges, in combination or alone. The output can be limited to the desired attributes. Also ToT can insert the querying to a Pandas Dataframe or/and save its in a HDF5 container (under development). -
15
ANGie
Alice Next Generation (internet entity)
...Wallace and the ALICE AI Foundation and the PyAIML code base written by Cort Stratton, the ANGie project incorporates additional AIML sets, adds its own AIML to the set, adds new AIML tags and additional code to provide more dynamic responses and more logical case-based-reasoning. Reading through most AIML sets it seems like the authors' intention was to have a response to every input that a bot has ever seen. The ANGie project strives to have intelligent and sensible responses, but to allow the bot to have no response when the meaning of the input is inconclusive, when additional context would be required to properly respond, or in general for questions for which the bot is unprepared - in order to create a bot that is capable of carrying on basic conversations with a human similar to the sort of small talk that two humans might have. ... -
16
logmap-matcher
LogMap: An Ontology Alignment and Alignment Repair System
...To the best of our knowledge, LogMap is one of the few matching systems that: 1. can efficiently match semantically rich ontologies containing tens (and even hundreds) of thousands of classes, 2. incorporates sophisticated reasoning and repair techniques to minimise the number of logical inconsistencies, and 3. provides support for user intervention during the matching process (see Web interface). -
17
-
18
A Disk Scheduling Simulator tool. With an intuitive GUI interface and command line functionality. Built using both VC and VB. Currently supports SSTF,LOOK,CLOOK,SCAN and CSCAN algorithms. Rotational latency is also optionally supported.
-
19
BayesianCortex
simple algorithm for a realtime interactive visual cortex for painting
...Bayesian nodes have exactly 3 childs because that is all thats needed to do NAND in a fuzzy way as Bayes' Rule which is NAND at certain extremes. NAND can be used to create any logical system. In this early version, I'm still working on edge detection and its understanding of the same shapes at different brightnesses. This will be a module of the bigger Human AI Net project and will be used for adding realtime intuitive high dimensional intelligence in audio and visual interactions with the user. -
20
BuddySpace is an enhanced Jabber client providing secure presence management, web services and instant messaging. It extends the 'buddy list' concept with enhanced and customisable visualisation of presence (incl. maps, logical layouts).
-
21
A knowledge base engine for Python built on F-Logic. It uses the FLORA-2 reasoning engine and provides permanent storage through ZODB. Logic programming concepts like logical variables, facts, rules and queries are included.
-
22
This project consists in a simulation software of robot A.I. It is aimed at comparing the efficiency of robot intelligence against movement tasks between fixed checkpoints in a logical world.
-
23
The horn++ library allows you to solve logical expressions in C++. The expressions must be transformed to horn clauses, which can be written as C++ expressions. The solver uses backtracking to find a solution for the logical problem.
-
24
PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.
-
25
Deduce is an artificial intelligence program which accepts natural language sentences as input, then allows the user to ask questions against that input. Deduce attempts to answer questions using logical deduction techniques.
