README.md

metadata

title: Compression Theory Visualization
emoji: 📊
colorFrom: blue
colorTo: purple
sdk: docker
pinned: false
license: mit

Compression Theory Visualization

Interactive Streamlit app for exploring theorem compression analysis results.

Features

• 📝 Prompts Tab: View agent system and task prompts (Profiler, Analyzer, Reproducer)
• 🔄 Trajectories Tab: Inspect agent thinking steps and tool calls from evaluation runs
• 📊 Outputs Tab: Browse distilled summaries, derived theorems, and analysis results across compression levels

Running Locally

pip install -r requirements.txt
streamlit run streamlit_app.py

Visit http://localhost:8501

Deployment

This app is designed for HF Spaces with Docker SDK. The Dockerfile handles all setup.

See STREAMLIT_DEPLOYMENT.md for detailed deployment instructions.