Search Results for "ai"

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts.

AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic...

...MEDICAL DISCLAIMER: This software is not certified for use in healthcare and should not be used for diagnostic or treatment purposes. NOTICE FOR EU RESIDENTS: This software is NOT compliant with EU regulations, including GDPR and the AI Act. It is not intended for use within the European Union. By downloading this software, you acknowledge that you do so at your own risk and waive any rights provided by EU consumer protection laws. NOTICE FOR RF RESIDENTS: This software is not included in the Unified Register of Russian Programs for Electronic Computers and Databases. ...

...MEDICAL DISCLAIMER: This software is not certified for use in healthcare and should not be used for diagnostic or treatment purposes. NOTICE FOR EU RESIDENTS: This software is NOT compliant with EU regulations, including GDPR and the AI Act. It is not intended for use within the European Union. By downloading this software, you acknowledge that you do so at your own risk and waive any rights provided by EU consumer protection laws. NOTICE FOR RF RESIDENTS: This software is not included in the Unified Register of Russian Programs for Electronic Computers and Databases. ...

...MEDICAL DISCLAIMER: This software is not certified for use in healthcare and should not be used for diagnostic or treatment purposes. NOTICE FOR EU RESIDENTS: This software is NOT compliant with EU regulations, including GDPR and the AI Act. It is not intended for use within the European Union. By downloading this software, you acknowledge that you do so at your own risk and waive any rights provided by EU consumer protection laws. NOTICE FOR RF RESIDENTS: This software is not included in the Unified Register of Russian Programs for Electronic Computers and Databases. ...

...MEDICAL DISCLAIMER: This software is not certified for use in healthcare and should not be used for diagnostic or treatment purposes. NOTICE FOR EU RESIDENTS: This software is NOT compliant with EU regulations, including GDPR and the AI Act. It is not intended for use within the European Union. By downloading this software, you acknowledge that you do so at your own risk and waive any rights provided by EU consumer protection laws. NOTICE FOR RF RESIDENTS: This software is not included in the Unified Register of Russian Programs for Electronic Computers and Databases. ...

Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map) which is one of AI algorithms and useful tool for data mining and discovery knowledge in data (http://knnl.sf.net).

A python framework for fuzzy inference computations

MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection

Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.

PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.

Platform supporting machine learning on different objects by different modification of the JSM method (for now). Predicates for the JSM method are written in CLIPS.Objects and modification of the JSM method have to written on one of .NET languages.

bioCity is a continuous space, discrete time simulation written in C++. It is meant to be of use to population biologists. Rules of behaviour are given to individuals that move, live, die, and procreate.

The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibility and efficiency. http://www.cs.kuleuven.be/~petervw/JCHR/

This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.

An Java artificial intelligence platform comprising common AI tools (neural networks, genetic algorithms, wavelets, etc...) and examples. The platform focuses on ease of use and ease of integration..

Anarchonomy is a Java application simulating AI agent based production, consumption, trade and force with a minimum of economic assumptions, letting users create and change their own rule and scenario sets.

This project contains the software used by the University of Toronto RoboCup team for controlling a team of robots to compete, against another such team, in a real time soccer environment.

The genesis-ai project is an attempt to develop complex neural network behavior by means of evolutionary techniques.

Integer Singular Value Decomposition Genetic Algorithm Function Fitter. This is an optimization algorithm that performs a similar role to a neural network.

MNGL (Math, Network and Graphic library) is a library which is composed by a lot of different modules to help programmers to develop their applications and softwares.