ATAP — Axiomatic Theories, Algorithms and Proofs
📚
Axiomatic theories, algorithms, proofs as directed graphs
Gary Welz
garywelz
AI & ML interests
Creating knowledge agents
Recent Activity
updated a Space 6 days ago
garywelz/atap updated a Space 6 days ago
garywelz/metadata_database updated a Space 6 days ago
garywelz/copernicusaiOrganizations
None yet
updated 6
Spaces 6 days ago
Research Paper Metadata Database
📚
Explore 62,000+ research papers with searchable metadata
CopernicusAI
🔬
Generate AI-powered research podcasts from indexed papers
Science Video Database
🔬
Search curated science videos by transcript topics
GLMP - Genome Logic Modeling Project
🧬
3
Explore gene regulatory logic circuits with interactive flowcharts
The Programming Framework
🛠
Generate visual flowcharts from process descriptions
published a
Space 27 days ago
updated a
Space 3 months ago
published a
Space 7 months ago
updated 2
Spaces 7 months ago
updated 3
Spaces 8 months ago
published a
Space 8 months ago
published 2
Spaces 11 months ago
updated 2
Spaces 11 months ago