Skip to content

Writing study: From Feasible to Practical: Pareto-Optimal Synthesis Planning

← ICML 2026 oral writing corpus

Friedrich Hastedt, Dongda Zhang, Antonio Del Rio Chanona · Official ICML 2026 oral record

Figure, table and section ledger

Editorial contribution type: Domain-grounded methods & physical systems (primary).

Layout extraction, not a required paper template. Counts are distinct caption labels; a multi-panel figure counts once. Section spans are estimated from heading positions, including floats and whitespace. Method and limitations.

Canonical PDF
21 physical pages
Before references / appendix
≈ 9.04 page-equivalents
Main figures / tables
5 / 4
Attached appendix figures / tables
1 / 7
Attached appendix span
≈ 8.91 page-equivalents
Before references / appendix: ≈ 43.05%References / intervening material: ≈ 14.52%Attached appendix: ≈ 42.43%Estimated layout envelopes, not text/artwork area. Unresolved appendix boundaries remain within the undivided post-body material.
Section-by-section lengths and source pages

The title/abstract/front matter precede the first numbered heading. A span ends at the next detected top-level heading, not at the last sentence; end-page whitespace is included. References and statements are listed separately. These are not measurements of text-only or artwork area.

Top-level headingStarts on PDF pageEstimated spanShare of entire PDF
1. Introduction1≈ 1.36 pp.6.48%
2. Background2≈ 1.17 pp.5.57%
3. Methods3≈ 3.02 pp.14.38%
4. Experiments6≈ 2.46 pp.11.71%
5. Limitations and Future Outlook9≈ 0.32 pp.1.52%
6. Conclusion9≈ 0.16 pp.0.76%
Acknowledgements9≈ 0.09 pp.0.43%
Impact Statement9≈ 0.14 pp.0.67%
References10≈ 3.04 pp.14.48%
A. Single-Step Retrosynthesis and Condition Prediction Models13≈ 0.31 pp.1.48%
B. Proof of Theorem 3.413≈ 1.18 pp.5.62%
C. Objective Functions14≈ 1.86 pp.8.86%
D. Search Hyperparameters16≈ 1.65 pp.7.86%
E. Supplementary Results18≈ 3 pp.14.29%
F. Toxicity Assessment Prompt Template21≈ 0.91 pp.4.33%
All detected figure and table locations

Argument and organization

  1. Problem and contribution

    Moves from finding any route to exposing tradeoffs among routes, while making the single-step model and predicted reaction conditions explicit dependencies.

  2. Argument sequence

    Graph values and batched search precede weight sampling and objective definitions; evaluation is split into Pareto quality, route success and chemical diversity.

  3. Evidence and verification

    Per-molecule paired tests and dominance in both directions accompany hypervolume summaries; success-rate tables retain cases where the single-objective baseline wins.

Problem, claim and contribution

Moves from finding any route to exposing tradeoffs among routes, while making the single-step model and predicted reaction conditions explicit dependencies.

Introduction and contributions, pp. 1-2 · Main paper

Argument and section order

Graph values and batched search precede weight sampling and objective definitions; evaluation is split into Pareto quality, route success and chemical diversity.

Sections 3-4, pp. 3-8 · Main paper

Figures, captions and visual explanation

Pseudocode annotates selection, prediction and batched operations; the result page juxtaposes front-quality distributions with the modest loss in single-route success.

Algorithm 1 and Figure 3, p. 5; Figure 5 and Tables 2-3, p. 8; both PNGs inspected · Main paper

Tables, comparisons and evidence

Per-molecule paired tests and dominance in both directions accompany hypervolume summaries; success-rate tables retain cases where the single-objective baseline wins.

Section 4.2 and Tables 2-3, p. 8 · Main paper

Appendix and reproducibility

The proof states admissible-bound and termination conditions separately from practical budgets, and objective/prompt documentation exposes how toxicity proxies enter the search.

Appendix B, pp. 13-14; C, pp. 14-15; F, p. 21 · Main paper

Clarity and writing conventions

Numbered evaluation questions give different notions of practical utility separate evidence destinations rather than compressing them into a single score.

Section 4.2, pp. 7-8 · Main paper

What to reuse—and what not to infer

Transferable lesson: For domain planning, pair improved multi-objective quality with coverage losses and disclose how learned or judged objective proxies are constructed.

Boundary: A conditional Pareto guarantee for the specified search model is not a certificate under a finite time budget, and computed routes or toxicity scores are not experimental chemistry validation.

Apply this lesson using the argument and evidence worksheet.

Inspection record and sources

Checked
2026-10-07
Reading status
Writing-focused manuscript scan + selected visuals inspected
Main text
Writing-focused distributed manuscript scan, not exhaustive technical/proof validation. Sections 1-6, pp. 1-9: practical multi-objective synthesis, search representation, batched algorithm, weight strategies, conditional optimality and quality/success/diversity tests.
Appendix / supplement
Writing-focused appendix scan; code, data and external assets not executed. Appendices A-F, pp. 13-21: predictor descriptions, theorem proof, objectives, search settings, additional datasets/baselines and toxicity scoring prompt.
Visually inspected PDF pages
5, 8

This is a writing-focused scan of the manuscript and the stated supplementary scope: framing, organization, visual explanation, evidence presentation and wording. It is not a line-by-line proof audit, reproduction of results or exhaustive scientific review.