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