Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T17:41:43.821886Z
Paper Citation Record · LEDGER
Breaking the Myth: Can Small Models Infer Postconditions Too?
As of 18 August 2026, this Paper Citation Record lists 81 of 81 outbound references and 0 inbound Pith citation observations for arXiv:2507.10182.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
81 of 81 outbound references displayed
- verified exact0
- verified fuzzy8
- unresolved73
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 0cfab276-623f-4ac9-a14a-fb636cd4c9c6 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:41.889311Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f312f2fd-44f8-487b-a850-46a7ca56ff50 · outbound
This paper cites Critique-out-Loud Reward Models.
Breaking the Myth: Can Small Models Infer Postconditions Too? Critique-out-Loud Reward Models
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:41.971957Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b2c1ac3d-84f9-4854-a68b-4af3ffbe1fb5 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.210592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2d4ab379-16ce-4f2e-a8d0-b3455325adcf · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.194308Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1a8e0f10-08dd-4169-965e-8768062ec710 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.177868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f5ff1b5d-3619-4520-aad1-4b1e72e6f4b8 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.161390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2efabcb6-cea8-4202-8e2d-a9fcb7ec05f8 · outbound
This paper cites KCTS: Knowledge-Constrained Tree Search Decoding with Token-Level Hallucination Detection.
Breaking the Myth: Can Small Models Infer Postconditions Too? KCTS: Knowledge-Constrained Tree Search Decoding with Token-Level Hallucination Detection
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.570998Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cf03f956-857d-49c8-a347-de605c6e3bb8 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.146601Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ed18becd-43be-4770-90ae-020635c4ee95 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.129852Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 15f0ee51-ad2a-4705-8b98-398edbd29fb4 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.098207Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 606cf67f-3846-4448-8f5a-9353ce44e412 · outbound
This paper cites Do Membership Inference Attacks Work on Large Language Models?.
Breaking the Myth: Can Small Models Infer Postconditions Too? Do Membership Inference Attacks Work on Large Language Models?
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.827941Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f03a7e85-56f6-4bca-9325-baad0708d097 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.840304Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b8617fb7-91cd-4309-968b-d538d66ef4f6 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.052931Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8126fe71-9e8c-4776-9525-311a59ed26e9 · outbound
This paper cites Ernst, Jeff H.
Breaking the Myth: Can Small Models Infer Postconditions Too? Ernst, Jeff H
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:41:45.036095Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 9f40efc6-5cf2-4484-ae0d-3a94b030ca01 · outbound
This paper cites Rustan M.
Breaking the Myth: Can Small Models Infer Postconditions Too? Rustan M
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:41:45.017246Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 49062574-fc58-46ed-a442-ccec377dc27e · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.999392Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 202a8002-0562-41b3-a825-a668b0738939 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.983455Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7912d1e4-505a-4f13-acbe-7e72503546f8 · outbound
This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.
Breaking the Myth: Can Small Models Infer Postconditions Too? DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.872406Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e5d1baf-f041-4526-8120-1216cb96b75e · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.966535Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation af61a378-697d-4dd3-9768-d0b1b75bd5be · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.950114Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation cdfdf477-ed6e-4ca5-972c-834e76d47229 · outbound
This paper cites GPT-4o System Card.
Breaking the Myth: Can Small Models Infer Postconditions Too? GPT-4o System Card
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.887638Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2eaf56ba-57fc-49d2-abe2-b988d5a92d8a · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.892314Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b9ba446-84f3-49fe-bf4b-273e08c375d7 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.923666Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0e514331-b473-4e0e-92cc-e68d6c48232f · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.902242Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7198e89f-12dd-41d7-aa59-4ad13a602d0a · outbound
This paper cites Generating Symbolic Reasoning Problems with Transformer GANs.
Breaking the Myth: Can Small Models Infer Postconditions Too? Generating Symbolic Reasoning Problems with Transformer GANs
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.907384Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 804b7df2-ca05-424f-8fc5-e9c4f6d72b3f · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.897556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 22eed46e-62b9-4e6e-8861-2c44d6426f11 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.882717Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f2636174-8893-492e-b66e-66f132b1b2d7 · outbound
This paper cites StarCoder: may the source be with you!.
Breaking the Myth: Can Small Models Infer Postconditions Too? StarCoder: may the source be with you!
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.925572Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a0220d8c-b7ef-484c-9bd3-3cfc635748c6 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.852950Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1c47ddd7-899e-4494-ace5-0e1ec8ecc3aa · outbound
This paper cites In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering.
Breaking the Myth: Can Small Models Infer Postconditions Too? In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:41:44.868008Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 5c09277e-9aaf-4d8c-bf0a-b0e5ada24457 · outbound
This paper cites SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.
Breaking the Myth: Can Small Models Infer Postconditions Too? SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.939165Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 476ecded-2fe6-4c6f-820e-47b43582a97a · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.836989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 3386e88e-a515-4837-a495-5b0dd2c599e3 · outbound
This paper cites Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decoding.
Breaking the Myth: Can Small Models Infer Postconditions Too? Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decoding
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.934272Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 081bd0f4-3534-4040-ae4a-fe008163f03c · outbound
This paper cites s1: Simple test-time scaling.
Breaking the Myth: Can Small Models Infer Postconditions Too? s1: Simple test-time scaling
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.952509Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6354f373-45d7-4ef6-a462-a2b9e1c7baa7 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.807679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1bcae75d-ddc1-4cca-b7c5-e10da093a46d · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.822566Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a5ee484e-42d5-4353-88c8-7c00f5bcdb2f · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.774946Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a7509b1b-ec89-4728-a3ec-9264fd3c379e · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.760561Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 67504e54-dccb-4ed5-95af-a226e2a3c9fd · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.791461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 9ef59ad0-0201-4756-8069-cf3ca998498a · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.734291Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation df4e04ae-07eb-49c5-86d0-d5e3f70ae07c · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.720296Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 24182c32-0002-46a7-97d3-fc91869061de · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.747381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4f1c4e80-0514-4299-8173-8148ea60366a · outbound
This paper cites CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
Breaking the Myth: Can Small Models Infer Postconditions Too? CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:42.997732Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa428704-5f08-4fc6-98f8-c30bf870d5f4 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.688278Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation bd113197-617a-460a-bc9c-4e649d9a2c22 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.705921Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 39e729dd-d6e9-4f77-872b-1fafa96cbc72 · outbound
This paper cites Naik, and Le Song.
Breaking the Myth: Can Small Models Infer Postconditions Too? Naik, and Le Song
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:41:44.643947Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 79abc518-174a-49a5-b579-3010da8d457d · outbound
This paper cites Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters.
Breaking the Myth: Can Small Models Infer Postconditions Too? Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.037178Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 60464d39-96ce-42fe-9778-73074ebdc6cc · outbound
This paper cites Fink, and Marco Pistoia.
Breaking the Myth: Can Small Models Infer Postconditions Too? Fink, and Marco Pistoia
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:41:44.672059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0d65b189-30f5-496f-adfb-63636b454427 · outbound
This paper cites IEEE Transactions on Software Engineering 34 (2007), 651–666.
Breaking the Myth: Can Small Models Infer Postconditions Too? IEEE Transactions on Software Engineering 34 (2007), 651–666
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:41:44.657862Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 3306f1be-f2c9-4ca7-bfd5-ba8c5810bcd2 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.616539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4561cd02-471a-452c-aee8-1ead571fa8f1 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.603322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1741e3b9-a322-4ddd-a771-286a39a637bd · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.630315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation db617505-0875-4a77-b3af-10d0d4276610 · outbound
This paper cites Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We?.
Breaking the Myth: Can Small Models Infer Postconditions Too? Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We?
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.057480Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc23f728-a028-406b-86e6-0f278101e775 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.543632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d7526ea4-1388-4e96-af66-e94be06affd3 · outbound
This paper cites Hendryx, Summer Yue, and Hugh Zhang.
Breaking the Myth: Can Small Models Infer Postconditions Too? Hendryx, Summer Yue, and Hugh Zhang
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:41:44.526629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c2f1b785-4664-403b-a6c7-1e33311c7a01 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.588624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation fdefff27-f8f5-4c38-867e-dd156c4cf7af · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.574100Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation bffdefc5-372f-4dbe-a03c-3aa5e4d5ae58 · outbound
This paper cites From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models.
Breaking the Myth: Can Small Models Infer Postconditions Too? From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.281934Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 542fa2eb-29d6-4a6c-adaf-1b11457366da · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.478420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 09182334-d589-4982-a990-191006f1d820 · outbound
This paper cites Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models.
Breaking the Myth: Can Small Models Infer Postconditions Too? Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.352563Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ed66dfc-55b2-4565-a3a6-5029b2957133 · outbound
This paper cites Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations.
Breaking the Myth: Can Small Models Infer Postconditions Too? Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.217012Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63e3d171-480d-47d9-9a4b-a581493aead7 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.493682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d42f525f-35e5-416c-87b6-e59fa056e231 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.449632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7d10eb7f-3b22-4f54-a79f-5cf15c460d05 · outbound
This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
Breaking the Myth: Can Small Models Infer Postconditions Too? DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.492399Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a7ad2966-9f11-4313-ab7e-2b9f6d8b9e87 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 65
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.434111Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 3b31dd25-2f9b-4384-9a72-1da5dd78d545 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 66
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.464159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2ea34bc9-68f2-4ab8-a51a-affa23f0ac38 · outbound
This paper cites How Effective are Large Language Models in Generating Software Specifications?.
Breaking the Myth: Can Small Models Infer Postconditions Too? How Effective are Large Language Models in Generating Software Specifications?
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.419516Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 89d42cbb-b415-45aa-90a3-c6029ff3a8d4 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.417808Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation fe41c0e7-52c8-4e7f-bc74-b81139934978 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.400630Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation b4546b60-b7c0-48c2-b1e0-bbb0437ac146 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 70
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.381008Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f70dad53-0d99-448b-bd5d-4105aabde7a9 · outbound
This paper cites ReasonFlux: Hierarchical LLM Reasoning via Scaling Thought Templates.
Breaking the Myth: Can Small Models Infer Postconditions Too? ReasonFlux: Hierarchical LLM Reasoning via Scaling Thought Templates
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.562669Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 385b9e34-d4a9-4db1-94f0-13e0653191e1 · outbound
This paper cites Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation.
Breaking the Myth: Can Small Models Infer Postconditions Too? Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.597810Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 85a0bcd9-8aa2-4e08-9f36-74dcbabebaf7 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.349263Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation cfe7a05f-3007-4135-be69-7baf2877ce5e · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 74
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.331752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d427400e-c4bb-4dea-8bae-656a762dc6bd · outbound
This paper cites Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models.
Breaking the Myth: Can Small Models Infer Postconditions Too? Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models
Reference 75
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.816065Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 315e0a0a-d7ef-4091-bd05-5f507d35b534 · outbound
This paper cites Planning with Large Language Models for Code Generation.
Breaking the Myth: Can Small Models Infer Postconditions Too? Planning with Large Language Models for Code Generation
Reference 76
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:41:43.727541Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3981e874-8ce2-4a77-b253-8a256f4b69d0 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 77
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.364112Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 424deec8-e1f8-4310-8353-4622fa0cd489 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 81
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:44.315465Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 741a044c-e69b-42e1-a36f-9367b84e7051 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 2007
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.113889Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 77a939a7-3763-402e-ba7b-387d04a56ee5 · outbound
This paper cites an unresolved cited work.
Breaking the Myth: Can Small Models Infer Postconditions Too? Unresolved cited work
Reference 2024
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:41:45.068720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4a0b392a-5d3a-498e-b50d-52ff6b4bb470 · outbound
This paper cites In The Thirteenth International Conference on Learning Representations.
Breaking the Myth: Can Small Models Infer Postconditions Too? In The Thirteenth International Conference on Learning Representations
Reference 2025
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:41:44.511985Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Pith citing papers
No inbound Pith citation observations are available.