AI-Descartes - GitLite

KO | EN

gitlite — search

#python #react #go #android #rust #linux #docker #macos #java #cli #awesome-list #pytorch #security #openai

AI-Descartes

(★ 128)

Open source package for accelerated symbolic discovery of fundamental laws.

파일 탐색기

최종 버전 다운로드 (.zip)

- - problems_used.txt
- - generate_noise.py
- - kepler_axioms.txt
  - kepler_binary_stars.dat
  - kepler_exoplanets.dat
  - kepler_formula.txt
  - KEPLER_solar_system.dat
  - README.md
- - langmuir_axioms.txt
  - langmuir_candidates_wolfram.txt
  - langmuir_constraints_wolfram.txt
  - langmuir_formula.txt
  - langmuir_sun_et_al.dat
  - langmuir_table_IX.dat
  - README.md
- - README.md
  - relativistic_time_dilation.dat
  - relativistic_time_dilation_axioms.txt
  - relativistic_time_dilation_formula.txt
- README.md
- discovery_cycle.png
- Kepler.gif
- kepler_3d_v3.png
- Langmuir.gif
- langmuir_equation.png
- relativity.png
- System.gif
- system_figure_v8.png
- Time.gif
- - pipeline_keymaera.py
  - pipeline_keymaera_3problems.py
  - pipeline_mathematica.py
- README.md
- - .gitignore
  - Readme.md
- - emf.sh
  - opts-common.yaml
  - opts-kepler.yaml
  - opts-langmuir.yaml
  - opts-relativistic_time_dilation.yaml
  - Readme.md
- README.md
- runnableemf.jar
.gitignore
LICENSE
MAINTAINERS.md
README.md

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

[![GitHub tag](https://img.shields.io/github/tag/IBM/AI-Descartes.svg)](https://GitHub.com/IBM/AI-Descartes/tags/)
[![DOI](https://zenodo.org/badge/484084924.svg)](https://zenodo.org/badge/latestdoi/484084924)
[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)

# AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

This repository contains the code and the data used for the experiments in the paper [Combining data and theory for derivable scientific discovery with AI-Descartes](https://rdcu.be/c9IAY).

**Visit our website** for a general overview, references, and some introductory videos: &rarr; [AI-Descartes website](https://ai-descartes.github.io) &larr;

<p align="center"> <img align="center" src="figures/System.gif" alt="system overview"/> </p>

## Folders description:
* `data`: contains the 3 datasets used in the paper (Kepler’s third law of planetary motion, Einstein’s time-dilation formula, Langmuir’s adsorption equation), the data points for 81 FSRD problems and the corresponding background theories (see [data/README.md](data/README.md)). 
* `reasoning`: contains the code for the Reasoning module of AI-Descartes (see [reasoning/README.md](reasoning/README.md))
* `symbolic-regression`: contains the code for the Symbolic Regression module of AI-Descartes (see [symbolic-regression/README.md](symbolic-regression/README.md))

## How to cite

```
@article{AI_Descartes,
	title = {Combining data and theory for derivable scientific discovery with {AI}-{Descartes}},
	volume = {14},
	issn = {2041-1723},
	url = {https://doi.org/10.1038/s41467-023-37236-y},
	doi = {10.1038/s41467-023-37236-y},
	number = {1},
	journal = {Nature Communications},
	author = {Cornelio, Cristina and Dash, Sanjeeb and Austel, Vernon and Josephson, Tyler R. and Goncalves, Joao and Clarkson, Kenneth L. and Megiddo, Nimrod and El Khadir, Bachir and Horesh, Lior},
	month = apr,
	year = {2023},
	pages = {1777},
}
```