{"as_of":"2026-08-16T08:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5848c154d666ec37ab150dddb22e94dabfe6385a6fc68afcfdf70302ad42fff6","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:14:08.432198Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.10314/citation-record","integrity":"/paper/2608.10314/integrity","json":"/paper/2608.10314/citation-record.json","paper":"/paper/2608.10314"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.908126Z","title":null,"venue":null,"work_id":"dd0b3973-77e8-4f93-ae48-737d11f8a0e3","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.371010Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:caad2cf5dc5ca8fadcf27422f10ba4cf4041d80140b32f350866b435bd1278a1","observation_id":"9fa67b5b-c6dd-41bb-a4af-74b9c3823bf8","resolution":{"observed_at":"2026-08-14T04:14:08.911810Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.898395Z","title":null,"venue":null,"work_id":"dd81561a-fdd4-42e1-a287-20c22689bdaa","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.374624Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:bbcbfab400f1569f028e720edca643f72309191b68751cfbbfaee47a71134a8c","observation_id":"225cd2e0-e9f5-487d-805c-00be535dfcfe","resolution":{"observed_at":"2026-08-14T04:14:08.901705Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.888293Z","title":"The monitor may send only bodylessHEADrequests to the exact target URI","venue":null,"work_id":"5c24bd13-9799-4cd3-9b9d-8d98864dfcdd","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.378411Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:630dc5e3b0f5412e3e2d71e465d753e9f45dae33ca9d1f2ff0e2c520ea471c59","observation_id":"525828a4-c8ad-42c6-abfa-2c8f2cdfb192","resolution":{"observed_at":"2026-08-14T04:14:08.891754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.878063Z","title":"The target is then fetched exactly once withGET, and its raw bytes are persisted before parsing","venue":null,"work_id":"9837ce18-adfd-4a4d-ad04-c30bb2fc9a0c","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.382373Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:f26352b7e247f2d120097c44ea96be2720d0af2a885f50fbd7b9b86c68105ad8","observation_id":"158f6ba7-3355-48a5-b550-5af09f86c20d","resolution":{"observed_at":"2026-08-14T04:14:08.881852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.770899Z","title":null,"venue":null,"work_id":"ee35b65b-1d74-47d9-9749-1265f27427ae","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.386013Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:d30499a4e41bbfd4417b933d2f9c6b3907c1f259b15d81fef785c861c1887fee","observation_id":"ee9765e7-5f64-4dd1-a9e3-5a8c410deb7d","resolution":{"observed_at":"2026-08-14T04:14:08.774171Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.761002Z","title":null,"venue":null,"work_id":"06f434f3-578b-4880-9e76-7aa94476ce96","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.389363Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:a4b6ce468792589b9b71a3f0665a0ba3687bd7d44eb93acbecceb26c718ad7a5","observation_id":"c923270b-4e39-4e03-b06a-a879b48afd3b","resolution":{"observed_at":"2026-08-14T04:14:08.764549Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.750001Z","title":null,"venue":null,"work_id":"b1b0a943-50dd-4688-913d-c4dfa42d893e","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.392728Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:45152cdb0ca18007cacaf55a88e86c2ec749863eaad953bfd2c2d557f2afdcff","observation_id":"ca5a24b0-ca9f-4de3-908d-bb5a51ba75d1","resolution":{"observed_at":"2026-08-14T04:14:08.753654Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.738787Z","title":"Centered","venue":null,"work_id":"809629df-974f-42ba-aab1-02b7eb715c9f","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.395827Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:df0e2c347cd48312d87457eb51816dcd2838324c1d5818a23f847f07f50561ff","observation_id":"20dedeca-3128-4309-b77b-7f33b7ba93f4","resolution":{"observed_at":"2026-08-14T04:14:08.742348Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.651206Z","title":"timed out against the provider","venue":null,"work_id":"f4aa9e5d-4e93-41f7-ab9f-fb7978b0454b","year":2026},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.427710Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:fa9be8bb133a74b63ec82017c760e18eb8b1a20084486d08c02d9ad27255dd9e","observation_id":"91cd61c0-24a7-4c22-8947-93cb701a1474","resolution":{"observed_at":"2026-08-14T04:14:08.655344Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.726957Z","title":"Then Ddirectional = (Gcontract−G prose)− (Ucontract−U prose)","venue":null,"work_id":"ee638f59-0e5d-4ae1-a2e8-5e4f6ab43060","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.399318Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:e2f3670ed557237bf5be5e5e664f853290434610f1db13391c5e23d9c70df7e4","observation_id":"c6878320-0315-40d4-baa6-edd5cc12a020","resolution":{"observed_at":"2026-08-14T04:14:08.731374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.716285Z","title":"ThenDsignature = (Gcontract−G prose)− (Scontract−S prose)","venue":null,"work_id":"3c4328a9-c3d3-438c-8e35-a4d36990fbc9","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.402459Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:c1234a8592eea2e5867b225112843426516f51d88495bd4ae2d0a9862cfb4851","observation_id":"1626baf8-2386-44ae-a591-d8ba14d85f0b","resolution":{"observed_at":"2026-08-14T04:14:08.720384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2250.40175","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.514443Z","title":"p <0.001","venue":null,"work_id":"9c7babd5-d103-4069-970b-1c59e88c35e0","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.405949Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:11de26c8bdbc4e24b7490a727d88e1bca2d7595ef4c63f051c50f1ce69386cc3","observation_id":"dc4f505e-4a0b-4256-878c-461d10f5797c","resolution":{"observed_at":"2026-08-14T04:14:08.520181Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.705054Z","title":"Time stamp","venue":null,"work_id":"709e46b4-c30a-4b61-9f7a-3f78b6b442ca","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.410917Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:de4f958e2274fb427814036daf10cded7e5f45df1dfd6d465c7ddab3a3d3331d","observation_id":"b637ec24-ac38-438a-9e2e-1f0717f30af3","resolution":{"observed_at":"2026-08-14T04:14:08.709248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.694076Z","title":"Upgrading a registered proof alters a bound artifact, which is why the originals on disk still carry only PendingAttestation","venue":null,"work_id":"00e3db90-39fd-484e-9b7a-12b1faa694cb","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.414257Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:fc865bc79144601df17fc4f017e61df006e58a3c5c4609d1dba4b05582359c4a","observation_id":"2f0dbd6c-5278-487d-b82a-b0a3e06e839d","resolution":{"observed_at":"2026-08-14T04:14:08.697559Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.683390Z","title":"Record its published time and its output value","venue":null,"work_id":"3e5b4865-f8a1-4f70-a2e8-3af8e5cdd62c","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.417648Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:a93461fd9655322244fdeea43e1a4fc17df9300826bf9643e913a7edff536e26","observation_id":"59e517ae-af5d-482e-bc46-8f9521799fc9","resolution":{"observed_at":"2026-08-14T04:14:08.687128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.672827Z","title":"Both values are printed in Table B1; the gap is 1 hour 54 minutes","venue":null,"work_id":"b8d60b7f-041d-48bf-9e52-e3cf4c9a1ead","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.420935Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:f10893b86a2d7efa832d38f5c252f35dd10beea5ce82b33bd990aeed8ccdf952","observation_id":"5d8037ac-a327-4ac3-b827-a0ccf2a3a754","resolution":{"observed_at":"2026-08-14T04:14:08.677071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.662252Z","title":null,"venue":null,"work_id":"3f470b7c-eae0-4b79-8df9-045113ac3efc","year":null},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.424287Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:9bb09a6246e8ab2a9b152272bc03d393af5e64ac63d74d466bcb89683cb5812c","observation_id":"f93dbe4b-08c6-4c17-b6b9-eda7a27a83b1","resolution":{"observed_at":"2026-08-14T04:14:08.665637Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.21876518","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.640697Z","title":"timed out against the provider","venue":null,"work_id":"2b23ff02-6b44-4b16-8a05-08d910fee5d9","year":2026},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.432198Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:5a64c1356ba498b4b86a18f11b2cfba04677bd8dcf780fbcc037cfb89b3d54ca","observation_id":"b54d9cfb-f8ee-4db1-912b-8189efa99fb4","resolution":{"observed_at":"2026-08-14T04:14:08.644758Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.363068Z","title":"Renaud Jardri, Sandrine Duverne, Alexandra S","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.363068Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:ad252725aac33b0a3bc8232c0db46876bd182fea07cc2a322f27febc33f03373","observation_id":"5a5c08ea-f26f-484e-968b-355ba62f3631","resolution":{"observed_at":"2026-08-14T04:14:08.363068Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:14:08.366909Z","title":"contract","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-14T04:14:08.366909Z"},"links":{"citing_paper":"/paper/2608.10314"},"observation_digest":"sha256:3c5725891f511c2e087f7e7cda6a219bb2d1d1df08d6a3ec51e30cbd2147a48c","observation_id":"92e4257a-55f8-4fda-b17c-01ef247fb2c0","resolution":{"observed_at":"2026-08-14T04:14:08.366909Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.10314","last_updated":"2026-08-10T23:37:47Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-14T23:10:29.773304Z","submitted_at":"2026-08-10T23:37:47Z","title":"Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":1,"verified_fuzzy":8},"total_outbound_references":20},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2608.10314."}