Robust Asynchronous Planning via Auto-Formalization | Paper Citation Record

Observation 65ff925b-56e0-4490-9f1b-e49c80d5c7ef · outbound

This paper cites In2025 IEEE International Conference on Robotics and Automation (ICRA), pages 11957– 11964.

Robust Asynchronous Planning via Auto-Formalization In2025 IEEE International Conference on Robotics and Automation (ICRA), pages 11957– 11964

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 626a0cb5-42ca-430b-a518-efe721156951 · outbound

This paper cites Unifying inference-time planning language generation.

Robust Asynchronous Planning via Auto-Formalization Unifying inference-time planning language generation

Reference 2

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T20:46:14.063919Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 63c87881-8d7d-4a6c-9008-22325f0d085f · outbound

This paper cites InProceedings of the IEEE conference on computer vision and pattern recognition, pages 8494–8502.

Robust Asynchronous Planning via Auto-Formalization InProceedings of the IEEE conference on computer vision and pattern recognition, pages 8494–8502

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce415fc9-e08f-49ad-9d1c-6ce912da4735 · outbound

This paper cites Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B Tenenbaum, Leslie Kaelbling, and Michael Katz.

Robust Asynchronous Planning via Auto-Formalization Tom Silver, Soham Dan, Kavitha Srinivas, Joshua B Tenenbaum, Leslie Kaelbling, and Michael Katz

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7a785a5-06b7-4210-b2fb-3ef780883544 · outbound

This paper cites InProceedings of the AAAI Conference on Artificial Intelligence, volume 38, pages 20256–20264.

Robust Asynchronous Planning via Auto-Formalization InProceedings of the AAAI Conference on Artificial Intelligence, volume 38, pages 20256–20264

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d62170c4-c495-43ea-99d1-c0f787ed6409 · outbound

This paper cites LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench.

Robust Asynchronous Planning via Auto-Formalization LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T20:46:14.061633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b9457933-5242-4dbf-a97d-1447ab97d110 · outbound

This paper cites Executable counterfactuals: Improving llms’ causal reasoning through code.

Robust Asynchronous Planning via Auto-Formalization Executable counterfactuals: Improving llms’ causal reasoning through code

Reference 7

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T20:46:14.066932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ec137dfe-63e9-498b-9b0b-85f173cb9d25 · outbound

This paper cites actions": [..., {.

Robust Asynchronous Planning via Auto-Formalization actions": [..., {

Reference 8

Resolution: malformed identifier; arxiv_id, observed 2026-07-01T20:46:14.064080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b2f8fe9e-2764-4083-a105-eb536cb0dbb0 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0471dd33-a2cc-446a-95b8-4e8cf12abe18 · outbound

This paper cites step1","step2.

Robust Asynchronous Planning via Auto-Formalization step1","step2

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96738a8a-eab4-424a-aa2f-5d17ef0bfcb4 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8be6f4ca-f392-4bc5-9869-5d22b7186531 · outbound

This paper cites before"is the step that must finish first.

Robust Asynchronous Planning via Auto-Formalization before"is the step that must finish first

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eade1d26-0c3b-459f-87fc-664fdc81cd35 · outbound

This paper cites Figure 8: Prompt template for Planner on AsyncHow and AsyncPlan-XXL.

Robust Asynchronous Planning via Auto-Formalization Figure 8: Prompt template for Planner on AsyncHow and AsyncPlan-XXL

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38b7de31-2870-46d5-a359-cf5125cd8647 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8715bb6-2e00-4832-a975-cf8347f6d1a1 · outbound

This paper cites Use positive _pending predicates in conditions, and delete them only in effects.

Robust Asynchronous Planning via Auto-Formalization Use positive _pending predicates in conditions, and delete them only in effects

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43dfebcb-f34c-4140-b779-0e4aaa991137 · outbound

This paper cites Do not include:typesor:objects; actions take no parameters.

Robust Asynchronous Planning via Auto-Formalization Do not include:typesor:objects; actions take no parameters

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38cdaced-c37d-48c5-b72c-a28c3342bc0b · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 438870a5-b398-42b7-a011-de21b259c07d · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb508e6d-5628-4d14-a9ee-33c20d215451 · outbound

This paper cites Semantic rules.

Robust Asynchronous Planning via Auto-Formalization Semantic rules

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fd630f7-ff71-480a-ab5e-702b4d5f7750 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae911fb4-e35b-4b6a-b989-29fd998a6722 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10819ff9-e6a7-4aaf-bac7-622d9dc7f29e · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbca81c2-7f3b-4e70-92d3-16887c683b7f · outbound

This paper cites Do not introduce one-second placeholder actions.

Robust Asynchronous Planning via Auto-Formalization Do not introduce one-second placeholder actions

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 814c9b2f-2f3c-419a-8109-21a99a16d2be · outbound

This paper cites after”, “once.

Robust Asynchronous Planning via Auto-Formalization after”, “once

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc2fd95c-29e4-4875-8f92-1a03db5ac341 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bebdde29-cca0-444e-bca3-e1074e969c66 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efd5ab8b-2315-4c48-90d6-230e15da7a08 · outbound

This paper cites ,stepNbased on the step numbers in the problem text.

Robust Asynchronous Planning via Auto-Formalization ,stepNbased on the step numbers in the problem text

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb5e11b2-c308-426d-9c9a-8848e8928a52 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77d8dd76-3729-47bd-95b7-47c277864009 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59f51548-d477-43ab-b528-cf8b617eea2d · outbound

This paper cites Do not add extra dependencies.

Robust Asynchronous Planning via Auto-Formalization Do not add extra dependencies

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4a3f1fb-f322-4348-8da5-b9e976ff52fe · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22dc0e47-7489-4950-bcff-4d237a2e213f · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68468ebe-edef-4a58-b699-9275d5c43bd8 · outbound

This paper cites User prompt: Translate this planning problem into a CP-SAT scheduling JSON spec.

Robust Asynchronous Planning via Auto-Formalization User prompt: Translate this planning problem into a CP-SAT scheduling JSON spec

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a368313e-75ce-489a-8dd5-0e4b522d9330 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75838c8d-b74b-4ab3-9738-57e14a85b9ff · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb9aec63-e71c-4ee5-9ae8-ba4b22977f04 · outbound

This paper cites Figure 11: Syntax retry prompt for the PDDL2.1 Formalizer.

Robust Asynchronous Planning via Auto-Formalization Figure 11: Syntax retry prompt for the PDDL2.1 Formalizer

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e81de61e-5b61-4655-bbb7-0b2c9fc45246 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2df5e672-8769-4699-853c-cfe1c06dee09 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 551eb310-884f-4e45-896c-7f484686f44a · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4371538-8400-4d23-b7c3-642375a81f75 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cfe5f23-c743-4c18-bab8-ffbcc2cc41e9 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d7e0b9b-777f-4c78-a8d9-608d0a6bd66e · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b53d6783-9b26-4fd3-bcf9-e2af1546fe67 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42c57476-92c0-409e-9006-eb9824fa02e1 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a908cbf-45b3-4c7d-aa95-b14f9bdb64a2 · outbound

This paper cites No commentary, markdown fences, or extra text.

Robust Asynchronous Planning via Auto-Formalization No commentary, markdown fences, or extra text

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 286eeb1a-3b2b-4228-a719-a5ac59428daa · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b9cf399-bf3f-4aa3-ab99-48e7035032e5 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bdd01db-7cd0-42ec-9933-5b8c67a08456 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a7eb49d-ef4d-4347-8ac2-1f7168d98429 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 355d5598-36e4-4393-bfb6-24f33f3a15ff · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f285ee7c-af65-4ef2-8aa9-b38f3c51f43b · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7050e007-efff-4254-8941-b0b5f509bca8 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56a4f83d-46aa-43b3-8109-81fbebaff48e · outbound

This paper cites User prompt: Produce a temporal plan for the following cooking task.

Robust Asynchronous Planning via Auto-Formalization User prompt: Produce a temporal plan for the following cooking task

Reference 54

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fac3e8a-90fb-4c19-b114-dce0ced709f5 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c02a0ad0-58e9-42ac-b35f-02a849808d34 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cecccd49-b115-4d85-aa4e-199cd33339dd · outbound

This paper cites Interface contract.

Robust Asynchronous Planning via Auto-Formalization Interface contract

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 515c8370-dd81-4942-8b35-f949ee776c22 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43003b9e-d50c-4dde-94ad-9f8c1880b1e2 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45ae421b-6f75-49ed-b205-6b4759e96fec · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 590b5bfb-63af-4141-a301-67bf51142a1c · outbound

This paper cites PDDL rules.

Robust Asynchronous Planning via Auto-Formalization PDDL rules

Reference 61

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 065dec19-9fd7-4689-b212-b880c41b64fa · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f78b74f9-6612-4b1f-b354-ff99e79cdc74 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f338f97-018c-48c0-8f67-b453bb2dd451 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47d7a51e-c5bb-4ebd-960d-6ba208e6e912 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85589265-5b65-4836-aa43-dc3c863c2930 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7da0683f-6c21-48ed-9d63-619555c6cb7a · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66153174-b7b6-4523-8971-ab4462c0d9db · outbound

This paper cites domain_pddl.

Robust Asynchronous Planning via Auto-Formalization domain_pddl

Reference 68

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2bccaec-7e7e-489e-a05a-57a4786a6e07 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 307e9776-be49-4a43-ba98-1470c69387cd · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 70

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6f85b81-f280-4c4d-b96c-d4c5d388ff9e · outbound

This paper cites Each action id must be <action>_<item>; dependency endpoints must use existing action ids.

Robust Asynchronous Planning via Auto-Formalization Each action id must be <action>_<item>; dependency endpoints must use existing action ids

Reference 71

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b035816-db0a-4449-a5fb-08e4ed9b1b54 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 72

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5515dd98-1ba0-4a11-a767-21f8843b5241 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 73

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 307d470c-d230-472e-9476-c4010e620d6c · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 74

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0703c820-e104-401f-9421-0275f199279a · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 75

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6f9f95b-dc84-406d-86b7-5a26f0a669e7 · outbound

This paper cites mode": "schedule.

Robust Asynchronous Planning via Auto-Formalization mode": "schedule

Reference 76

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecd97a4c-52ca-4b75-9765-e60f80fe9318 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0385dc89-8027-4179-8ef9-1603c5b03cfe · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b07c8d0-5b80-4645-b195-3f7361e84b3f · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 79

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bbc636b-bcb8-4e54-b3f4-eaf404f133d2 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 80

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe0476c6-d695-4749-96db-154831592bc3 · outbound

This paper cites an unresolved cited work.

Robust Asynchronous Planning via Auto-Formalization Unresolved cited work

Reference 81

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4ffbb43-09a4-481c-90d5-f6aab86b5780 · outbound

This paper cites delta": {.

Robust Asynchronous Planning via Auto-Formalization delta": {

Reference 82

Resolution: unresolved; no resolver link, observed 2026-06-28T17:43:24.820773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers