CoolFace
Apppublic

rufimelo/compression-theory-viz

sourceHugging Facemitupdated 3mo agoView on Hugging Face
0likes
App README

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

bash
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.