# am\-utexas

[DecompHub listing](<https://app.decomphub.com/projects/am-utexas>) · [JSON record](<https://app.decomphub.com/data/projects/am-utexas.json>)

## Description

> Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin

- Category: applications
- Work types: reimplementation
- Targets: Unknown
- Project status: unknown
- Listing updated: 2026\-10\-06T19:39:56\.438Z
- Listing first published: 2026\-10\-06T19:39:56\.439Z

## Repository

- Repository: [akkartik/am\-utexas](<https://github.com/akkartik/am-utexas>)
- License: Not specified
- Repository stars: Not reported
- Stars checked: Not reported
- Repository metadata checked: 2026\-10\-06T13:30:48\.470Z

## Progress

Each value describes only its stated scope. An observation date is when DecompHub read the source; it is not a publisher measurement date.

No sourced numeric progress is currently reported. This is unknown progress, not 0%.

## Contributing

- Contribution status: unknown
- Help requested: Not reported
- Contribution instructions: Not reported
- Contribution source: Not reported
- Contribution information checked: Not reported
- AI contribution policy: unspecified
- AI policy source: Not reported

## Listing sources

- [Public repository metadata](<https://github.com/akkartik/am-utexas>)
- [Discovery query](<https://api.github.com/search/repositories?q=%22reimplementation%22+in%3Aname%2Cdescription+is%3Apublic+fork%3Afalse+created%3A2008-01-01..2012-09-30&sort=updated&order=desc&per_page=100&page=2>)

## Data notes

Descriptions remain in their recorded source language. Missing values are not inferred. Repository licensing is upstream metadata; this export does not grant rights to upstream code or assets.

Schema version: 1. [Public data documentation](<https://decomphub.com/data>).