{"_canonicalization":{"envelope_id":"axm_ + sha256(envelope minus {signature, axiom_id, anchors})","envelope_signature":"ed25519(envelope minus {signature, axiom_id})","json":"sort_keys=True, separators=(',',':'), ensure_ascii=False, allow_nan=False, utf-8","leaf_hash":"sha256(0x00 || canonical_json(envelope_full))","seal_signature":"ed25519(seal minus {signature, sig_algorithm})"},"axiom_id":"axm_8dcb754c4450f110b60cc31275354a0062c1e178bb70f3b7e59df30b9947124d","bitcoin_anchor":{"bitcoin_attestations":[],"calendar_attestations":[],"ots_url":"","stamped_at":"","status":"pending_next_stamp"},"envelope":{"anchors":[{"chain":"crovia.axiom_graph","height":0,"merkle_proof":"spider_vendor_press_v1","root_at_anchor":"spider_vendor_press_v1"}],"axiom_id":"axm_8dcb754c4450f110b60cc31275354a0062c1e178bb70f3b7e59df30b9947124d","axiom_type":"AX.OBS","body":{"axiom_subtype":"news.vendor_press.v1","category":"news","fingerprint":"6df3303d66a88f9ce0bf0234d1840f2cf99253d2167aef19cc8495b99ced1ccf","published":"Tue, 30 Jun 2026 00:00:00 -0400","receipt_hash":"6df3303d66a88f9ce0bf0234d1840f2cf99253d2167aef19cc8495b99ced1ccf","schema":"spider.news.vendor_press.v1","spider":"vendor_press","spider_record":{"axiom_subtype":"news.vendor_press.v1","category":"news","decision_hint":"POSITIVE","envelope_target":"AX.OBS","fingerprint":"6df3303d66a88f9ce0bf0234d1840f2cf99253d2167aef19cc8495b99ced1ccf","observed_at":"2026-06-30T04:43:04.087680Z","parent_run_hash":"74f7ab392cc702044101fe24a76a2fdad11164cd79ce725aad6c446a477e89c5","published":"Tue, 30 Jun 2026 00:00:00 -0400","runtime_version":"0.1.0","schema":"spider.news.vendor_press.v1","source_status":200,"source_url":"https://export.arxiv.org/rss/cs.AI","spider":"vendor_press","summary_excerpt":"arXiv:2606.24004v2 Announce Type: replace-cross \nAbstract: Steering a large language model (LLM) toward a desired behavior typically relies on an iterative process of hand-crafting a prompt based on a careful inspection of the model's responses. This is an involved, brittle, and error-prone process. Preference-based fine-tuning is a more rigorous but often prohibitively expensive solution. We propose spec learning, a framework that relies on a brief user instruction and a small set of preference judgments. These are compiled into specifications in the form of natural-language prompts for an LLM. Specifications condition LLMs at inference time, and no parameter updates to the underlying models are required. We show that the responses generated based on the compiled specifications often outperform direct preference optimization (DPO) on datasets from specialized domains whose preference signal is dense. Unlike opaque weight updates, the resulting specifications are human-readable and dou","title":"Towards Spec Learning: Inference-Time Alignment from Preference Pairs","url":"https://arxiv.org/abs/2606.24004","vendor":"arxiv_cs_ai"},"summary":"arXiv:2606.24004v2 Announce Type: replace-cross \nAbstract: Steering a large language model (LLM) toward a desired behavior typically relies on an iterative process of hand-crafting a prompt based on a careful inspection of the model's responses. This is an involved, brittle, and error-prone process. Preference-based fine-tuning is a more rigorous but often prohibitively expensive solution. We propose spec learning, a framework that relies on a brief user instruction and a small set of preference judgments. These are compiled into specifications in the form of natural-language prompts for an LLM. Specifications condition LLMs at inference time, and no parameter updates to the underlying models are required. We show that the responses generated based on the compiled specifications often outperform direct preference optimization (DPO) on datasets from specialized domains whose preference signal is dense. Unlike opaque weight updates, the resulting specifications are human-readable and dou","title":"Towards Spec Learning: Inference-Time Alignment from Preference Pairs","vendor":"arxiv_cs_ai"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-06-30T04:43:04Z","notes":"Spider vendor_press (news) news.vendor_press.v1","object":{"captured_by":"crovia.spider.vendor_press","primary_source_url":"https://arxiv.org/abs/2606.24004"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:e54ceda4423c587c268f8793a5d5fbc841438df03c89efdad81370796a0d6bd76eb7d2141fc13bacfed389fac393875e85807aec5b07dc2750f3dee6ee900804","signer":"crovia.substrate","subject":{"observed_at":"2026-06-30T04:43:04Z","source_collector":"spider:vendor_press","target_id":"https://arxiv.org/abs/2606.24004"},"tsa":{"authority":"crovia.substrate.bootstrap","rfc3161_token":"{\"kind\":\"crovia.bootstrap.tsa\",\"source_jsonl\":\"/opt/crovia/spider/data/news/vendor_press_v1.jsonl\",\"source_seal_merkle_root\":\"spider_vendor_press_v1\",\"upgrade_path\":\"Sessione H \\u2014 OpenTimestamps weekly anchor\"}"},"zk_mode":"clear","zk_proof":null},"ledger":{"leaf_hash":"8d744b230856c583766e9028955852591ed1c1385ef8edfbd655c503e2463009","leaf_index":265249,"ledger_path":"/opt/crovia/substrate/axiom_ledger.jsonl"},"merkle_proof":{"hash_alg":"sha256","leaf_prefix":"0x00","node_prefix":"0x01","odd_leaf_rule":"duplicate_last","path":[{"sibling":"ef7ff329f492c5e41bb8113f39da46d8f9b20db3b8dee19f850a97043c8c4783","side":"left"},{"sibling":"ac41ebd292d4dbd90273332d1df0095b8b1d5ffa2da1d3f2a869dabf017c8969","side":"right"},{"sibling":"8fea9b9a61a8614586a2547bfb5747581fdd8a0196dad74af8e84fc3f304de13","side":"right"},{"sibling":"63f284d550fb1493a2cf28a2a28c840d2e692909bd8a09cd1ed1b45705c3c551","side":"right"},{"sibling":"af7c2de27919f42a0e65a43e1a9fafcbeedf56dae0dec0654b19aae478de2b70","side":"right"},{"sibling":"cccd81c33dafd50c7fdc64d63e8563daa68321bb44450ef3ec0b5f8628b5c9d2","side":"left"},{"sibling":"ff273c8201c286328de95b4c3f7ad04c9fb005c67fda3de45c54b72f9f5db5b3","side":"right"},{"sibling":"3cde187de7516743e6cd60012ce336384e260530220514cdd49599ef710e14e5","side":"right"},{"sibling":"2da116eff026ee371a88b8eb1a0aeb87679b487f1fbf1623083121809f754234","side":"right"},{"sibling":"eef13ac8a36eb836ad77846f6ef08d9afa4dcc380a64b88c542b57231522db0a","side":"right"},{"sibling":"a2cf20d97c095bc4fa7c4f5bb4f2266dd953e3d733d7e185aa164763491b312c","side":"left"},{"sibling":"f9b4bed84fa6990c71ad2887c91bda183001f05f6b648f21d1273045a26b11fd","side":"left"},{"sibling":"173d2dc4b29ee04ea41d6d0ebc334c4bc2d46e7ee4230c94765413f24fb4bc42","side":"right"},{"sibling":"112461f7c0ec411116fb5c6c90fe95cea9d8f188b9fe08afe25a837ac02d0071","side":"right"},{"sibling":"ea9488204352c49db8f7daf05eefcd7628ecf9413830346674801a99d0654a94","side":"right"},{"sibling":"6261c13b9922cb657f10d1e5d36ec15d8771cf8766e36c61dcbffb7bed57e396","side":"right"},{"sibling":"fa19aa3faf287618b820bcfceebb366152ad521dd20ef9f51e977816663e448b","side":"right"},{"sibling":"c32f943406b62d1fc59b7f7e243492174c8e1caba8c8a2705f86c773315736e0","side":"right"},{"sibling":"1cecb7f447febd025aac272837c80de218aecc6485d2395a509b2a1f1b9c746e","side":"left"}]},"schema":"crovia.axiom_proof.v1","seal":{"first_collector_run_id":"","first_receipt_hash":"","jsonl_path":"/opt/crovia/substrate/axiom_ledger.jsonl","key_id":"430895f101d38164","last_collector_run_id":"","last_receipt_hash":"","leaf_count":265374,"merkle_root":"9636001ecab173cb6af10dc7c71eb14585daa62f9c0a6f027046f05633156891","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260630T053701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-06-30T05:38:03Z","sig_algorithm":"ed25519","signature":"6d4b8fd9b9da856cbb5fba7540877c6a63fa18a5ec3eaf28dc4d6d1c64921c9c0565f8c95f4b7aec0e7744fd7754844f051baf863db708cad768765b416a7b0c","signer_version":"1.1.0"},"trust_root":{"key_id":"430895f101d38164","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","signature_algorithm":"ed25519","url":"/registry/canon/TRUST_ROOT.md"},"verifier":{"spec":"/registry/canon/AXIOM_RECEIPT_v1.md","url":"/v/axm_8dcb754c4450f110b60cc31275354a0062c1e178bb70f3b7e59df30b9947124d"}}