Paper Citation Record · LEDGER

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization

As of 16 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 1 inbound Pith citation observation for arXiv:2506.18383.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.18383 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T18:54:30.311297Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-28T14:29:43.379840Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

24 of 24 outbound references displayed

verified exact3
verified fuzzy5
unresolved15
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation dadb5a6b-b771-423a-9bd6-47e8cb55365c · outbound

This paper cites KTO: Model Alignment as Prospect Theoretic Optimization.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization KTO: Model Alignment as Prospect Theoretic Optimization

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.238507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1e55af5-37c6-4633-bd00-ed29ba32111f · outbound

This paper cites The Llama 3 Herd of Models.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization The Llama 3 Herd of Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.242928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1adb26a-ab4c-4db6-b047-6a193a80b76c · outbound

This paper cites Mistral 7B.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Mistral 7B

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.247454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d44dadbf-3869-4b43-a7cb-d3ca64082543 · outbound

This paper cites Mistral 7B.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Mistral 7B

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.251866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fff75c4-67b7-4a1b-9649-f96579568790 · outbound

This paper cites an unresolved cited work.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.259880Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fe2ce00-2a27-4bae-9a01-1d0a06521d34 · outbound

This paper cites URL https://doi.org/10.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization URL https://doi.org/10

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.263650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 116b68f0-51c2-494a-b27b-717dedb21ccd · outbound

This paper cites URL https://aclanthology.org/2022.coling-1.481.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization URL https://aclanthology.org/2022.coling-1.481

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:54:30.771646Z

Source-reported events for the cited work

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

Observation c7a55a19-c026-404d-9d44-1d2304ce5fb8 · outbound

This paper cites Arithmetic Without Algorithms: Language Models Solve Math With a Bag of Heuristics.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Arithmetic Without Algorithms: Language Models Solve Math With a Bag of Heuristics

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.271111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 279e1922-afe4-40b7-8b91-e13b961a445c · outbound

This paper cites EMNLP-MAIN.313.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization EMNLP-MAIN.313

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.274494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa19c657-3cc2-43e2-9dbf-76342822e65d · outbound

This paper cites URL https://doi.org/10.18653/v1/2023.findings-emnlp.248.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization URL https://doi.org/10.18653/v1/2023.findings-emnlp.248

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.277846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a23f518a-38dd-41a2-b984-523bde8d810d · outbound

This paper cites Direct Preference Optimization: Your Language Model is Secretly a Reward Model.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Direct Preference Optimization: Your Language Model is Secretly a Reward Model

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.281028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c5ef0b2-a9a2-4a04-8f99-333eb9e9e9f9 · outbound

This paper cites Arpit Sharma, Nguyen Ha Vo, Somak Aditya, and Chitta Baral.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Arpit Sharma, Nguyen Ha Vo, Somak Aditya, and Chitta Baral

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:54:30.761066Z

Source-reported events for the cited work

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

Observation 45c2e073-8186-490a-8be3-156fa420dcd0 · outbound

This paper cites Gemma 2: Improving Open Language Models at a Practical Size.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Gemma 2: Improving Open Language Models at a Practical Size

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.292666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c295393-d544-4117-b08f-f2f06ceea373 · outbound

This paper cites Dick, and Anton van den Hengel.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Dick, and Anton van den Hengel

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:54:30.751268Z

Source-reported events for the cited work

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

Observation cc649e5a-e970-4266-9a25-ebc4efd490b7 · outbound

This paper cites doi: 10.18653/v1/2024.acl-long.375.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization doi: 10.18653/v1/2024.acl-long.375

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.303790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e694105b-2f35-4e6c-a3bd-8e6dcdd9ce02 · outbound

This paper cites A Appendix A.1 Few-shot Baseline prompts For our baseline models, we evaluate off-the-shelf models in a few-shot setting.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization A Appendix A.1 Few-shot Baseline prompts For our baseline models, we evaluate off-the-shelf models in a few-shot setting

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:54:30.740461Z

Source-reported events for the cited work

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

Observation 28df8fef-cedd-4b41-bb5c-fa8d6aea2a9b · outbound

This paper cites As the process of ProverQA creation was quite different, the high improvement of the preference optimized models underlines the generalizability of our LOGICPO dataset.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization As the process of ProverQA creation was quite different, the high improvement of the preference optimized models underlines the generalizability of our LOGICPO dataset

Reference 24

Resolution: verified exact; raw_fallback, observed 2026-08-15T18:54:30.509357Z

Source-reported events for the cited work

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

Observation 14965f1d-da49-497e-ad69-3101fca734b7 · outbound

This paper cites Open-source Frame Semantic Parsing.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Open-source Frame Semantic Parsing

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.226908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5faba0a5-d42c-4577-92dc-215d74f5b921 · outbound

This paper cites URLhttps://doi.org/10.1109/CVPR.2016.500.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization URLhttps://doi.org/10.1109/CVPR.2016.500

Reference 2016

Resolution: verified exact; doi, observed 2026-08-15T18:54:30.343465Z

Source-reported events for the cited work

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

Observation 18a51ac2-5c2b-44bd-ab19-e352b9ca3d43 · outbound

This paper cites URLhttp://www.vldb.org/pvldb/vol13/p1737-kim.pdf.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization URLhttp://www.vldb.org/pvldb/vol13/p1737-kim.pdf

Reference 2020

Resolution: malformed identifier; no resolver link, observed 2026-08-15T18:54:30.255764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf09980f-6237-433a-88f5-3cbbf8646f5d · outbound

This paper cites ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.288031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dea769a-f21b-4e49-bc38-a2992fe418f8 · outbound

This paper cites URLhttps://doi.org/10.24963/ijcai.2022/568.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization URLhttps://doi.org/10.24963/ijcai.2022/568

Reference 2022

Resolution: verified exact; doi, observed 2026-08-15T18:54:30.449203Z

Source-reported events for the cited work

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

Observation 32b67e4b-166b-44bb-ae41-bdaf065842ec · outbound

This paper cites In- terpretable amr-based question decomposition for multi-hop question answering.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization In- terpretable amr-based question decomposition for multi-hop question answering

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:54:30.781527Z

Source-reported events for the cited work

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

Observation 1aa34efc-bc18-4840-a3e5-7baa54ad1cba · outbound

This paper cites Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone.

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-15T18:54:30.221905Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 07a3f812-afc9-416e-a7cf-f4b74ec55c0d · inbound

Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling cites this paper.

Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization

Reference 60

Resolution: verified exact; arxiv_id, observed 2026-06-28T14:32:17.690321Z

Source-reported events for the cited work

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