Mail Thread Index
- Benchmark paper: Journal of Automated Reasoning LaTeX,
Chris Warburton
- CICM 2017 report,
Chris Warburton
- Don't rebuild TEBenchmark data/graphs when latex changes,
Chris Warburton
- Copypasta error in "Automated Theory Formation" section,
Chris Warburton
- Add Speculate to table,
Chris Warburton
- Fix table entries for new systems,
Chris Warburton
- Use the same syntax for e.g. Nat,
Chris Warburton
- Focus on the systems we evaluate,
Chris Warburton
- Talking about Isabelle,
Chris Warburton
- At what point is it impractical?,
Chris Warburton
- Colour bar for ground truth theorems has fractions,
Chris Warburton
- Take a look at error bars of recall,
Chris Warburton
- Justify table,
Chris Warburton
- Add LaTeX checking to check.sh,
Chris Warburton
- Check which IsaCoSy runs got interrupted,
Chris Warburton
- Colour bars should be limited to successful runs,
Chris Warburton
- TEB: Error bars for std. dev. rather than shading,
Chris Warburton
- TEB: Crosses for failures,
Chris Warburton
- TEB: Mention that the tool is available online, give GitHub URL,
Chris Warburton
- Mention counting evaluations as an alternative to wall-clock time,
Chris Warburton
- TEB: Make it clear that QuickSpec recall is better,
Chris Warburton
- TEB: Make prec/rec tables into floats, with numbers, etc.,
Chris Warburton
- TEB: Add funding info to acknowledgements,
Chris Warburton
- TEB: Clarify "speedup" in table,
Chris Warburton
- TEB: Significance level,
Chris Warburton
- TEB: What "message" can we show?,
Chris Warburton
- TEB: Page 5 goes into the margin,
Chris Warburton
- TEB: Typos in bibliography,
Chris Warburton
- TEB: Explain average of ratios/ratio of averages better,
Chris Warburton
- TEB: Make graphs clearer,
Chris Warburton
- TEB: Fix up small remarks from Jianguo,
Chris Warburton
- TEB: Time plots are wrong and misleading,
Chris Warburton
- TEB: Title page,
Chris Warburton
- TEB: Check formatting,
Chris Warburton
- TEB: Check references,
Chris Warburton
- TEB: Check tables,
Chris Warburton
- TEB: Figures guidelines,
Chris Warburton
- TEBenchmarkPaper: elaborate on proof for rejection sampling,
Chris Warburton
- TEBenchmark: Look for examples of rejected logically valid outputs,
Chris Warburton
- Bucketing: Plot min/max bounds,
Chris Warburton
- Bucketing: Add survival plot to paper,
Chris Warburton
- Bucketing: Add tail size graph to PDF (with straight line fit),
Chris Warburton
- Bucketing: Look for commonalities amongst timeouts,
Chris Warburton
- Run QuickSpec on strictly-accumulating mult2, op and qexp,
Chris Warburton
- Mention Ghosts of Departed Proofs,
Chris Warburton
Mail converted by MHonArc