Collapse source editors behind accordions

Wire file upload to populate Code fields

Bump gradio to 5.27, add help text below Run button

Fix: use gr.DataFrame (new name in gradio 5)

Fix: upgrade gradio to 5.27+ to fix API schema bug

UI: flag LLM checkers with [LLM] tag, show always-run checks, improve status

Fix: move theme/css to Blocks constructor (gradio 5 API)

Fix: remove unsupported latex language param in gr.Code

Pin huggingface-hub for gradio 5.0.0 compat

Fix: install qalmsw from GitHub repo (not PyPI)

Fix HF color values

Deploy to HF Space: app.py + requirements

initial commit

Add Hugging Face Space frontend

Improve open source project readiness

Add math formula consistency checker

Add research pipeline skeleton — arXiv fetcher, corpus sampler, defect operators

Add research plan for small-LM claim-verification study

Refresh CLAUDE.md for multi-file includes and inline bib discovery

Semantic Scholar backend, JSON output, image checker, batch mode

arXiv Code of Conduct checkers: artifacts, figures, references

Resolve \input{}/\include{} and discover inline bibliographies

Add ClaimsChecker: LLM claim verification against Scholar abstracts

Extract bib titles and authors via bibtexparser

Exclude inline \begin{thebibliography} from parsed body

Scaffold Google Scholar retrieval

Fan out LLM calls in grammar and reviewer checkers

Add reviewer checker for section-level critique

Add deterministic citation checker

Skip prose-less paragraphs and fail fast on LLM timeouts

Initial scaffold: grammar checker MVP