SymStep: Symbolic Step Verification for Logical Reasoning | Paper Citation Record

Observation 7c2268f4-f35c-475e-994a-6a94c1c76a8c · outbound

This paper cites GPT-4 Technical Report.

SymStep: Symbolic Step Verification for Logical Reasoning GPT-4 Technical Report

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:24.073119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 949ce91c-749b-4877-b5da-a9a4214223d8 · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

SymStep: Symbolic Step Verification for Logical Reasoning DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:24.643433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcaac27f-db5b-4634-a3a8-32c47e607a17 · outbound

This paper cites [Haoet al., 2023 ] Shibo Hao, Yi Gu, Haodi Ma, Joshua Ji- ahua Hong, Zhen Wang, Daisy Zhe Wang, and Zhiting Hu.

SymStep: Symbolic Step Verification for Logical Reasoning [Haoet al., 2023 ] Shibo Hao, Yi Gu, Haodi Ma, Joshua Ji- ahua Hong, Zhen Wang, Daisy Zhe Wang, and Zhiting Hu

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:24.908078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e1c8c33-3492-4a2e-955c-8951b7369752 · outbound

This paper cites [Hoffmann and Nebel, 2001] J¨org Hoffmann and Bernhard Nebel.

SymStep: Symbolic Step Verification for Logical Reasoning [Hoffmann and Nebel, 2001] J¨org Hoffmann and Bernhard Nebel

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:25.033197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5cd3892-7eea-44c8-8efa-a7ca46cd0395 · outbound

This paper cites Large language models are zero-shot reasoners.

SymStep: Symbolic Step Verification for Logical Reasoning Large language models are zero-shot reasoners

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:25.221840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10058186-2938-4541-94d1-ee68c3656dc9 · outbound

This paper cites Reflexion: Language agents with verbal reinforcement learning.

SymStep: Symbolic Step Verification for Logical Reasoning Reflexion: Language agents with verbal reinforcement learning

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:25.755897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fa69dfd-dec5-4f92-9dee-54c01e93173c · outbound

This paper cites Griffiths, Yuan Cao, and Karthik Narasimhan.

SymStep: Symbolic Step Verification for Logical Reasoning Griffiths, Yuan Cao, and Karthik Narasimhan

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.289626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4699133-bd18-48bd-ad44-7e7bf8e6eec4 · outbound

This paper cites Least-to-most prompting enables complex reasoning in large language models.

SymStep: Symbolic Step Verification for Logical Reasoning Least-to-most prompting enables complex reasoning in large language models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.414206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f9121e5-5005-4d56-a5f2-45060ef61ced · outbound

This paper cites Natural Program.

SymStep: Symbolic Step Verification for Logical Reasoning Natural Program

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.481056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a0b35ef-98ea-451b-a9db-5500254e17fb · outbound

This paper cites Gemini: A Family of Highly Capable Multimodal Models.

SymStep: Symbolic Step Verification for Logical Reasoning Gemini: A Family of Highly Capable Multimodal Models

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.550412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8820fef-5952-4df3-b3b5-6b8264fae960 · outbound

This paper cites McGuinness, Daniele Nardi, and Peter F.

SymStep: Symbolic Step Verification for Logical Reasoning McGuinness, Daniele Nardi, and Peter F

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.641016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15cf7c86-93a7-4289-bd6f-4834f00879d4 · outbound

This paper cites Logical reasoning for task oriented dia- logue systems.

SymStep: Symbolic Step Verification for Logical Reasoning Logical reasoning for task oriented dia- logue systems

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.885579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b2e32fc-a8ac-4aeb-accf-95852374aef5 · outbound

This paper cites Think you have Solved Direct-Answer Question Answering? Try ARC-DA, the Direct-Answer AI2 Reasoning Challenge.

SymStep: Symbolic Step Verification for Logical Reasoning Think you have Solved Direct-Answer Question Answering? Try ARC-DA, the Direct-Answer AI2 Reasoning Challenge

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.974882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1dd98f6-a837-4ab6-942a-2c32548a91de · outbound

This paper cites an unresolved cited work.

SymStep: Symbolic Step Verification for Logical Reasoning Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:27.118352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad8b9fca-01b5-47ec-9dc5-8eb3ac691e8a · outbound

This paper cites an unresolved cited work.

SymStep: Symbolic Step Verification for Logical Reasoning Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:27.386351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cae15946-3e07-44f4-83b7-cb221b82d01a · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

SymStep: Symbolic Step Verification for Logical Reasoning Training Verifiers to Solve Math Word Problems

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:27.514737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a75a16b-7921-4263-839f-1344072119d3 · outbound

This paper cites d’Avila Garcez, Lu´ıs C.

SymStep: Symbolic Step Verification for Logical Reasoning d’Avila Garcez, Lu´ıs C

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:27.671709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83dd3893-656a-4d2d-8b8f-12383e7e99df · outbound

This paper cites Pal: program-aided lan- guage models.

SymStep: Symbolic Step Verification for Logical Reasoning Pal: program-aided lan- guage models

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:28.041690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 739d90df-1804-4910-80bd-fcd92484dba4 · outbound

This paper cites an unresolved cited work.

SymStep: Symbolic Step Verification for Logical Reasoning Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:28.161452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f49fbb5b-3675-4c40-98a5-a1d1d89aebee · outbound

This paper cites The stable model semantics for logic programming.

SymStep: Symbolic Step Verification for Logical Reasoning The stable model semantics for logic programming

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:28.251053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5678c7ab-6fbe-4ffd-82f8-df9751ea872c · outbound

This paper cites an unresolved cited work.

SymStep: Symbolic Step Verification for Logical Reasoning Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:28.498251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 771b2a4a-a757-40b9-bbd3-1204905cfcec · outbound

This paper cites FOLIO: Natural language reasoning with first-order logic.

SymStep: Symbolic Step Verification for Logical Reasoning FOLIO: Natural language reasoning with first-order logic

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:28.565830Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 509d175b-2c24-4d4c-b80b-351b854d24d1 · outbound

This paper cites [Haoet al., 2023 ] Shibo Hao, Yi Gu, Haodi Ma, Joshua Hong, Zhen Wang, Daisy Wang, and Zhiting Hu.

SymStep: Symbolic Step Verification for Logical Reasoning [Haoet al., 2023 ] Shibo Hao, Yi Gu, Haodi Ma, Joshua Hong, Zhen Wang, Daisy Wang, and Zhiting Hu

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:28.753927Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98722158-b445-43ba-91e0-416cf18053d6 · outbound

This paper cites [Hendryckset al., 2021 ] Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, and Jacob Steinhardt.

SymStep: Symbolic Step Verification for Logical Reasoning [Hendryckset al., 2021 ] Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, and Jacob Steinhardt

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:28.892256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e96b2a69-1257-495b-8b7b-035795842c92 · outbound

This paper cites The ff planning system: fast plan generation through heuristic search.

SymStep: Symbolic Step Verification for Logical Reasoning The ff planning system: fast plan generation through heuristic search

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.048018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8c120d4-2141-4d57-8da5-09b25d08266c · outbound

This paper cites Thought cloning: Learning to think while acting by imitating human thinking.

SymStep: Symbolic Step Verification for Logical Reasoning Thought cloning: Learning to think while acting by imitating human thinking

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.173122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42efa2ef-88d4-4b85-94bb-e08e784d9d08 · outbound

This paper cites Inner monologue: Embodied reasoning through plan- ning with language models.

SymStep: Symbolic Step Verification for Logical Reasoning Inner monologue: Embodied reasoning through plan- ning with language models

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.330278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a07c1d2-e6ce-499a-8763-7ce3939ec342 · outbound

This paper cites Understanding the planning of LLM agents: A survey.

SymStep: Symbolic Step Verification for Logical Reasoning Understanding the planning of LLM agents: A survey

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.481664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4a6690c-4ba6-4321-9c76-c813285c30cd · outbound

This paper cites Joshi, Kyle Jeffrey, Rosario Jauregui Ruano, Jasmine Hsu, Keerthana Gopalakrishnan, Byron David, Andy Zeng, and Chuyuan Kelly Fu.

SymStep: Symbolic Step Verification for Logical Reasoning Joshi, Kyle Jeffrey, Rosario Jauregui Ruano, Jasmine Hsu, Keerthana Gopalakrishnan, Byron David, Andy Zeng, and Chuyuan Kelly Fu

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.618194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e706f2bc-74ab-432a-992b-e1b84261dc80 · outbound

This paper cites Position: Llms can’t plan, but can help plan- ning in llm-modulo frameworks.

SymStep: Symbolic Step Verification for Logical Reasoning Position: Llms can’t plan, but can help plan- ning in llm-modulo frameworks

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.700459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94051387-b890-476f-9908-37c48ef3c037 · outbound

This paper cites Large language models are zero-shot reasoners.

SymStep: Symbolic Step Verification for Logical Reasoning Large language models are zero-shot reasoners

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.761874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d803aaed-3731-401d-9ddf-05f2f1b02be3 · outbound

This paper cites an unresolved cited work.

SymStep: Symbolic Step Verification for Logical Reasoning Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.846219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b8667c4-1557-4f89-a83c-769fcfa7a003 · outbound

This paper cites Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals.

SymStep: Symbolic Step Verification for Logical Reasoning Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:29.937175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14e758d3-a2f1-4604-b5ef-8cbd504d2385 · outbound

This paper cites Code as policies: Language model pro- grams for embodied control.

SymStep: Symbolic Step Verification for Logical Reasoning Code as policies: Language model pro- grams for embodied control

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.018453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64c062c8-ab28-4c98-88ea-c66a887ca733 · outbound

This paper cites Let’s Verify Step by Step.

SymStep: Symbolic Step Verification for Logical Reasoning Let’s Verify Step by Step

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.091208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbd8ccb4-ab97-4f8e-b35e-2a149bbddd22 · outbound

This paper cites Zebralogic: On the scaling limits of llms for logical reasoning.

SymStep: Symbolic Step Verification for Logical Reasoning Zebralogic: On the scaling limits of llms for logical reasoning

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.115724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d227d03-e6d9-4e47-9a52-b966bce01da4 · outbound

This paper cites Program induction by rationale generation: Learning to solve and explain algebraic word problems.

SymStep: Symbolic Step Verification for Logical Reasoning Program induction by rationale generation: Learning to solve and explain algebraic word problems

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.199589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2793cdb9-77d7-464b-ac64-e1a4a14ea7fc · outbound

This paper cites Deductive Verification of Chain-of-Thought Reasoning.

SymStep: Symbolic Step Verification for Logical Reasoning Deductive Verification of Chain-of-Thought Reasoning

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.401998Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f60c6f6-2f7e-4663-9501-f8c53d2cf7dd · outbound

This paper cites Agentbench: Eval- uating llms as agents.

SymStep: Symbolic Step Verification for Logical Reasoning Agentbench: Eval- uating llms as agents

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.553767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f893b6b-e84d-46f7-9894-d4ddae3a2f66 · outbound

This paper cites Faithful chain-of-thought rea- soning.

SymStep: Symbolic Step Verification for Logical Reasoning Faithful chain-of-thought rea- soning

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.711452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d221afc-d7cf-42f8-b22d-b9ece5147f9a · outbound

This paper cites [Mackworth, 1977] Alan K.

SymStep: Symbolic Step Verification for Logical Reasoning [Mackworth, 1977] Alan K

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.768225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aac88d5e-22f7-4f1a-8cc8-43fd54567def · outbound

This paper cites Self-refine: Iterative refinement with self-feedback.

SymStep: Symbolic Step Verification for Logical Reasoning Self-refine: Iterative refinement with self-feedback

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.919235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a808722-f2d0-484f-9ccf-dc0f8e93a2d2 · outbound

This paper cites McCarthy and P.

SymStep: Symbolic Step Verification for Logical Reasoning McCarthy and P

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:31.027258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f07f0526-7ee0-42c7-b118-86661f4b0c32 · outbound

This paper cites an unresolved cited work.

SymStep: Symbolic Step Verification for Logical Reasoning Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:31.547146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d62ee22-11e9-48d6-9afb-caf427d517fc · outbound

This paper cites Logic-LM: Empow- ering large language models with symbolic solvers for faithful logical reasoning.

SymStep: Symbolic Step Verification for Logical Reasoning Logic-LM: Empow- ering large language models with symbolic solvers for faithful logical reasoning

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:31.727668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cc3b179-59db-4abc-a5b4-9584cdac4e49 · outbound

This paper cites Multi-logieval: Towards evaluating multi-step logical reasoning ability of large language models.

SymStep: Symbolic Step Verification for Logical Reasoning Multi-logieval: Towards evaluating multi-step logical reasoning ability of large language models

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:31.896968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a6d10aa-74f8-4918-acc3-cb6ef33578a5 · outbound

This paper cites Mea- suring and narrowing the compositionality gap in lan- guage models.

SymStep: Symbolic Step Verification for Logical Reasoning Mea- suring and narrowing the compositionality gap in lan- guage models

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:32.006455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4ab27d4-3568-449a-b125-ff1caacc4982 · outbound

This paper cites [Puiget al., 2018 ] Xavier Puig, Kevin Ra, Marko Boben, Jiaman Li, Tingwu Wang, Sanja Fidler, and Antonio Tor- ralba.

SymStep: Symbolic Step Verification for Logical Reasoning [Puiget al., 2018 ] Xavier Puig, Kevin Ra, Marko Boben, Jiaman Li, Tingwu Wang, Sanja Fidler, and Antonio Tor- ralba

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:32.124295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53dbe92a-1746-47f7-9d27-dc77fc6b1d45 · outbound

This paper cites Textgraphs 2024 shared task on text-graph representations for knowledge graph question answering.

SymStep: Symbolic Step Verification for Logical Reasoning Textgraphs 2024 shared task on text-graph representations for knowledge graph question answering

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:32.604803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4a409ad-8118-4f24-b7a0-c6fd568a6147 · outbound

This paper cites [Schicket al., 2023 ] Timo Schick, Jane Dwivedi-Yu, Roberto Dess ´ı, Roberta Raileanu, Maria Lomeli, Eric Hambro, Luke Zettlemoyer, Nicola Cancedda, and Thomas Scialom.

SymStep: Symbolic Step Verification for Logical Reasoning [Schicket al., 2023 ] Timo Schick, Jane Dwivedi-Yu, Roberto Dess ´ı, Roberta Raileanu, Maria Lomeli, Eric Hambro, Luke Zettlemoyer, Nicola Cancedda, and Thomas Scialom

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:32.726740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ab782ca-cbe3-480e-a8dd-2cd1e8b7e5c7 · outbound

This paper cites Hug- ginggpt: Solving ai tasks with chatgpt and its friends in hugging face.

SymStep: Symbolic Step Verification for Logical Reasoning Hug- ginggpt: Solving ai tasks with chatgpt and its friends in hugging face

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:32.901618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe20c824-fe47-4c9b-b2d9-761d13c0c9fb · outbound

This paper cites Reflexion: language agents with verbal reinforcement learning.

SymStep: Symbolic Step Verification for Logical Reasoning Reflexion: language agents with verbal reinforcement learning

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:33.069519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ced260e1-2862-47f3-b06f-0f2c99a138ae · outbound

This paper cites ALFRED: A benchmark for interpreting grounded instructions for everyday tasks.

SymStep: Symbolic Step Verification for Logical Reasoning ALFRED: A benchmark for interpreting grounded instructions for everyday tasks

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:33.228569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3874ce93-c6f0-43e8-b35c-deef5da6fe00 · outbound

This paper cites Tenenbaum, Leslie Pack Kaelbling, and Michael Katz.

SymStep: Symbolic Step Verification for Logical Reasoning Tenenbaum, Leslie Pack Kaelbling, and Michael Katz

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:33.636162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf4e89ac-3a27-4440-bb00-a86ce21f931d · outbound

This paper cites ProgPrompt: Generating situated robot task plans us- ing large language models.

SymStep: Symbolic Step Verification for Logical Reasoning ProgPrompt: Generating situated robot task plans us- ing large language models

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:33.810544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74a451ce-e691-44b9-a685-725f67d840f5 · outbound

This paper cites Smolensky.

SymStep: Symbolic Step Verification for Logical Reasoning Smolensky

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:33.978345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 560c1f2d-2e7c-4f6a-bd22-c5aaeb81eb0c · outbound

This paper cites Sadler, Wei-Lun Chao, and Yu Su.

SymStep: Symbolic Step Verification for Logical Reasoning Sadler, Wei-Lun Chao, and Yu Su

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:34.259596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5579803e-336c-4cdc-be1d-8fff90bea5e9 · outbound

This paper cites Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models.

SymStep: Symbolic Step Verification for Logical Reasoning Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:34.362681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a37cf015-7c4b-485b-8af8-72555515e11b · outbound

This paper cites Griffiths.

SymStep: Symbolic Step Verification for Logical Reasoning Griffiths

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:34.515816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e94ecff-dd52-46a8-bc5e-f4fc8b11f4ba · outbound

This paper cites Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them.

SymStep: Symbolic Step Verification for Logical Reasoning Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:34.630116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b8e6f84-9def-4a1f-9d94-cf3c0d83c41a · outbound

This paper cites ProofWriter: Generating implications, proofs, and abductive statements over natural language.

SymStep: Symbolic Step Verification for Logical Reasoning ProofWriter: Generating implications, proofs, and abductive statements over natural language

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:34.753005Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22a43d18-5dd1-4717-ab4b-3801605b84bc · outbound

This paper cites [Talmoret al., 2019 ] Alon Talmor, Jonathan Herzig, Nicholas Lourie, and Jonathan Berant.

SymStep: Symbolic Step Verification for Logical Reasoning [Talmoret al., 2019 ] Alon Talmor, Jonathan Herzig, Nicholas Lourie, and Jonathan Berant

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:34.891975Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1378f71-7fa8-4b2a-a07d-ac12e0427fd7 · outbound

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

SymStep: Symbolic Step Verification for Logical Reasoning LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.008851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fe6816c-abe9-4089-9abe-af0b02c5ac8d · outbound

This paper cites Towards data- and knowledge-driven artificial intelli- gence: A survey on neuro-symbolic computing.IEEE Transactions on Pattern Analysis and Machine Intelli- gence,.

SymStep: Symbolic Step Verification for Logical Reasoning Towards data- and knowledge-driven artificial intelli- gence: A survey on neuro-symbolic computing.IEEE Transactions on Pattern Analysis and Machine Intelli- gence,

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.023523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9e9573f-0ba8-4c2f-8272-e793de97bc08 · outbound

This paper cites Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing.

SymStep: Symbolic Step Verification for Logical Reasoning Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.148156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f6696d1-59ad-4143-8f2f-aa9648deefc4 · outbound

This paper cites Neuro-symbolic relation extraction.

SymStep: Symbolic Step Verification for Logical Reasoning Neuro-symbolic relation extraction

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.231883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf7e2fd3-ed15-44fc-91c6-22ddcb795df4 · outbound

This paper cites an unresolved cited work.

SymStep: Symbolic Step Verification for Logical Reasoning Unresolved cited work

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.379476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba1b9447-3905-4905-89f5-d63cf7ad558f · outbound

This paper cites InterCode: Standardiz- ing and benchmarking interactive coding with execution feedback.

SymStep: Symbolic Step Verification for Logical Reasoning InterCode: Standardiz- ing and benchmarking interactive coding with execution feedback

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.531403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ad57781-17c3-45ac-b22f-c0c7632f7b26 · outbound

This paper cites Griffiths, Yuan Cao, and Karthik Narasimhan.

SymStep: Symbolic Step Verification for Logical Reasoning Griffiths, Yuan Cao, and Karthik Narasimhan

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.647163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2eb353eb-5a54-451e-ae75-072da924702a · outbound

This paper cites HellaSwag: Can a Machine Really Finish Your Sentence?.

SymStep: Symbolic Step Verification for Logical Reasoning HellaSwag: Can a Machine Really Finish Your Sentence?

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.749139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35d1c47e-d9ce-4d0b-8712-67d4e7278767 · outbound

This paper cites Large language models as commonsense knowl- edge for large-scale task planning.

SymStep: Symbolic Step Verification for Logical Reasoning Large language models as commonsense knowl- edge for large-scale task planning

Reference 102

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.838044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e639f2a-9041-4588-ad50-330f2591ff98 · outbound

This paper cites Le, and Ed H.

SymStep: Symbolic Step Verification for Logical Reasoning Le, and Ed H

Reference 103

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.919761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 823b8ace-ac2f-4389-92a9-2368ed5b2369 · outbound

This paper cites Wino- Grande: An adversarial winograd schema challenge at scale.Communications of the ACM, 64(9):99–106,.

SymStep: Symbolic Step Verification for Logical Reasoning Wino- Grande: An adversarial winograd schema challenge at scale.Communications of the ACM, 64(9):99–106,

Reference 1965

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:32.404945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41d0b1bc-9b1e-4146-b7ed-b20962bddc2c · outbound

This paper cites [Fuggitti and Chakraborti, 2023] Francesco Fuggitti and Tathagata Chakraborti.

SymStep: Symbolic Step Verification for Logical Reasoning [Fuggitti and Chakraborti, 2023] Francesco Fuggitti and Tathagata Chakraborti

Reference 1971

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:27.924658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f15f6408-908d-434a-b4a6-bb6b88de8f2a · outbound

This paper cites Self-refine: Iterative refinement with self-feedback.

SymStep: Symbolic Step Verification for Logical Reasoning Self-refine: Iterative refinement with self-feedback

Reference 1977

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:25.541194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8c531e8-04ae-4282-869d-af71f75030ec · outbound

This paper cites PDDL – the planning domain definition language.

SymStep: Symbolic Step Verification for Logical Reasoning PDDL – the planning domain definition language

Reference 1987

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:31.136129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ad13445-f51e-47ad-b43c-13097b18a1b0 · outbound

This paper cites Did aristotle use a laptop? a question answering benchmark with implicit reasoning strategies.Transactions of the Association for Computational Linguistics, 9:346–361,.

SymStep: Symbolic Step Verification for Logical Reasoning Did aristotle use a laptop? a question answering benchmark with implicit reasoning strategies.Transactions of the Association for Computational Linguistics, 9:346–361,

Reference 1988

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:28.345986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd4de2df-1f6e-49c5-a687-28ca67c87505 · outbound

This paper cites Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.

SymStep: Symbolic Step Verification for Logical Reasoning Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters

Reference 1990

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:34.135715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa0e538e-6ae4-4017-a991-45948ac4a6f4 · outbound

This paper cites [Bollackeret al., 2008 ] Kurt Bollacker, Colin Evans, Praveen Paritosh, Tim Sturge, and Jamie Taylor.

SymStep: Symbolic Step Verification for Logical Reasoning [Bollackeret al., 2008 ] Kurt Bollacker, Colin Evans, Praveen Paritosh, Tim Sturge, and Jamie Taylor

Reference 1995

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:27.166981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a58b7aff-e3c2-4a45-8d49-3120f68513a7 · outbound

This paper cites On the compilability and expressive power of propositional planning formalisms.

SymStep: Symbolic Step Verification for Logical Reasoning On the compilability and expressive power of propositional planning formalisms

Reference 1998

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:31.238972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecfe207e-32d5-48c5-aebb-50dd33818274 · outbound

This paper cites LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers.

SymStep: Symbolic Step Verification for Logical Reasoning LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers

Reference 2000

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:31.354901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 569b99ad-79d5-4f45-b268-bc779a71ca7f · outbound

This paper cites LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks.

SymStep: Symbolic Step Verification for Logical Reasoning LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks

Reference 2001

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:25.157404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca461c30-6ed6-47b1-9ee1-3f2c569ee152 · outbound

This paper cites Semantic parsing on freebase from question-answer pairs.

SymStep: Symbolic Step Verification for Logical Reasoning Semantic parsing on freebase from question-answer pairs

Reference 2003

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.717798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b21c5e87-e56c-4b5a-a5db-f8f579dc8f3d · outbound

This paper cites [Caiet al., 2024 ] Tianle Cai, Xuezhi Wang, Tengyu Ma, Xinyun Chen, and Denny Zhou.

SymStep: Symbolic Step Verification for Logical Reasoning [Caiet al., 2024 ] Tianle Cai, Xuezhi Wang, Tengyu Ma, Xinyun Chen, and Denny Zhou

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:27.228038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3f32443-56e2-4d59-bd50-aacb94448276 · outbound

This paper cites Fikes and Nils J.

SymStep: Symbolic Step Verification for Logical Reasoning Fikes and Nils J

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:27.799604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4db3556f-510c-46c7-b4c8-cd39147866dd · outbound

This paper cites an unresolved cited work.

SymStep: Symbolic Step Verification for Logical Reasoning Unresolved cited work

Reference 2010

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:32.362825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6930367a-542d-4162-9611-7b5cad5465c9 · outbound

This paper cites Graph of thoughts: Solving elaborate problems with large language models.

SymStep: Symbolic Step Verification for Logical Reasoning Graph of thoughts: Solving elaborate problems with large language models

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:26.799846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8d6a7cd-a83b-4cfe-8acd-94bedc180f3f · outbound

This paper cites Deductive verification of chain-of-thought reason- ing.

SymStep: Symbolic Step Verification for Logical Reasoning Deductive verification of chain-of-thought reason- ing

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:30.284794Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a69b453f-e288-41d9-a272-1bbb3237b971 · outbound

This paper cites The lama planner: guiding cost-based any- time planning with landmarks.

SymStep: Symbolic Step Verification for Logical Reasoning The lama planner: guiding cost-based any- time planning with landmarks

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:32.220745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6eb03865-fd8a-42ce-a0f1-532a8cfd5826 · outbound

This paper cites LLaMA: Open and Efficient Foundation Language Models.

SymStep: Symbolic Step Verification for Logical Reasoning LLaMA: Open and Efficient Foundation Language Models

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:35.006339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 762958e6-4c62-4e3d-afc3-4ef26e90114d · outbound

This paper cites ALFWorld: Aligning text and embodied environments for interactive learning.

SymStep: Symbolic Step Verification for Logical Reasoning ALFWorld: Aligning text and embodied environments for interactive learning

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:33.439168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c3053e5-ce15-4104-83d5-019117692ddc · outbound

This paper cites d’Avila Garcez and Lu´ıs C.

SymStep: Symbolic Step Verification for Logical Reasoning d’Avila Garcez and Lu´ıs C

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:24.456810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00ce1b62-71e6-4ae0-adfc-9de493b3f6c7 · outbound

This paper cites Let’s verify step by step.

SymStep: Symbolic Step Verification for Logical Reasoning Let’s verify step by step

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:25.293028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77c0508e-8719-443e-99c2-34e5b6441170 · outbound

This paper cites FOLIO: Natural lan- guage reasoning with first-order logic.

SymStep: Symbolic Step Verification for Logical Reasoning FOLIO: Natural lan- guage reasoning with first-order logic

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-01T03:48:24.784019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers