{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VLMXCHHWTSKGLPFBN62TGBXFMD","short_pith_number":"pith:VLMXCHHW","canonical_record":{"source":{"id":"2506.04998","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-05T13:09:24Z","cross_cats_sorted":[],"title_canon_sha256":"c745c55c66907183b9425de779a1bcbda47a2ca43e1dcc92e7c3889ff8d418c7","abstract_canon_sha256":"e34d743571055b48d31804bf7d9b582ebc28061c46f994c4249fd029d59318e4"},"schema_version":"1.0"},"canonical_sha256":"aad9711cf69c9465bca16fb53306e560c06b8c82fe67b5ce0a76bf356fddb406","source":{"kind":"arxiv","id":"2506.04998","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.04998","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"arxiv_version","alias_value":"2506.04998v2","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.04998","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_12","alias_value":"VLMXCHHWTSKG","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_16","alias_value":"VLMXCHHWTSKGLPFB","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_8","alias_value":"VLMXCHHW","created_at":"2026-06-23T03:13:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VLMXCHHWTSKGLPFBN62TGBXFMD","target":"record","payload":{"canonical_record":{"source":{"id":"2506.04998","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-05T13:09:24Z","cross_cats_sorted":[],"title_canon_sha256":"c745c55c66907183b9425de779a1bcbda47a2ca43e1dcc92e7c3889ff8d418c7","abstract_canon_sha256":"e34d743571055b48d31804bf7d9b582ebc28061c46f994c4249fd029d59318e4"},"schema_version":"1.0"},"canonical_sha256":"aad9711cf69c9465bca16fb53306e560c06b8c82fe67b5ce0a76bf356fddb406","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:13:45.822361Z","signature_b64":"xnL8q8fIq9uhgu/KwYk/huJ0qbuQfKUtvYtrAEOZRLkUxbIc38xooGzmSvmPTmTZp/Qy0gwPMvSOrSWMlMbDDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aad9711cf69c9465bca16fb53306e560c06b8c82fe67b5ce0a76bf356fddb406","last_reissued_at":"2026-06-23T03:13:45.821924Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:13:45.821924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.04998","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-23T03:13:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UhT80aacJjri5Pzjojxx2qaJzlFZQJkRHI/kqpNKMp4iLPkZeTnk5yvlDSSebwpTjZusM4Agq7LIda9Pb0tPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T22:26:49.341682Z"},"content_sha256":"4f2a9e65b1bfd456c3f16e9e37b888d993eaa37b6fa70d24985bdedcee039263","schema_version":"1.0","event_id":"sha256:4f2a9e65b1bfd456c3f16e9e37b888d993eaa37b6fa70d24985bdedcee039263"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VLMXCHHWTSKGLPFBN62TGBXFMD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mathematical Reasoning for Unmanned Aerial Vehicles: A RAG-Based Approach for Complex Arithmetic Reasoning","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Achim Rettberg, Faezeh Pasandideh, Mehdi Azarafza, Mojtaba Nayyeri, Steffen Staab","submitted_at":"2025-06-05T13:09:24Z","abstract_excerpt":"Autonomous UAV operation necessitates reliable mathematical reasoning for tasks such as trajectory planning and power management. While traditional flight control relies on hardcoded equations, recent Large Language Models (LLMs) offer potential for more flexible problem-solving but struggle with reliably selecting and applying correct mathematical formulations and executing precise multi-step arithmetic. We propose RAG-UAV, a retrieval-augmented generation framework designed to improve the mathematical reasoning of several LLMs (including GPT o1/Turbo, Llama-3.2/3.3, Mistral, and DeepSeek R1)"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.04998","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.04998/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-23T03:13:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/jFHTAloYJ3wjXiHN2A8zCAow/xZdWI19oEgxyw6o0Vz7NNXFjp/MB3WG+gt6aKauz+8XgmB/JCEAwAvaweVCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T22:26:49.342317Z"},"content_sha256":"570ce534399b1b6d316f825fcb6cae649047e3c3656d0ac326b37226b4e06487","schema_version":"1.0","event_id":"sha256:570ce534399b1b6d316f825fcb6cae649047e3c3656d0ac326b37226b4e06487"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VLMXCHHWTSKGLPFBN62TGBXFMD/bundle.json","state_url":"https://pith.science/pith/VLMXCHHWTSKGLPFBN62TGBXFMD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VLMXCHHWTSKGLPFBN62TGBXFMD/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T22:26:49Z","links":{"resolver":"https://pith.science/pith/VLMXCHHWTSKGLPFBN62TGBXFMD","bundle":"https://pith.science/pith/VLMXCHHWTSKGLPFBN62TGBXFMD/bundle.json","state":"https://pith.science/pith/VLMXCHHWTSKGLPFBN62TGBXFMD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VLMXCHHWTSKGLPFBN62TGBXFMD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VLMXCHHWTSKGLPFBN62TGBXFMD","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e34d743571055b48d31804bf7d9b582ebc28061c46f994c4249fd029d59318e4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-05T13:09:24Z","title_canon_sha256":"c745c55c66907183b9425de779a1bcbda47a2ca43e1dcc92e7c3889ff8d418c7"},"schema_version":"1.0","source":{"id":"2506.04998","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.04998","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"arxiv_version","alias_value":"2506.04998v2","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.04998","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_12","alias_value":"VLMXCHHWTSKG","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_16","alias_value":"VLMXCHHWTSKGLPFB","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_8","alias_value":"VLMXCHHW","created_at":"2026-06-23T03:13:45Z"}],"graph_snapshots":[{"event_id":"sha256:570ce534399b1b6d316f825fcb6cae649047e3c3656d0ac326b37226b4e06487","target":"graph","created_at":"2026-06-23T03:13:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.04998/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous UAV operation necessitates reliable mathematical reasoning for tasks such as trajectory planning and power management. While traditional flight control relies on hardcoded equations, recent Large Language Models (LLMs) offer potential for more flexible problem-solving but struggle with reliably selecting and applying correct mathematical formulations and executing precise multi-step arithmetic. We propose RAG-UAV, a retrieval-augmented generation framework designed to improve the mathematical reasoning of several LLMs (including GPT o1/Turbo, Llama-3.2/3.3, Mistral, and DeepSeek R1)","authors_text":"Achim Rettberg, Faezeh Pasandideh, Mehdi Azarafza, Mojtaba Nayyeri, Steffen Staab","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-05T13:09:24Z","title":"Mathematical Reasoning for Unmanned Aerial Vehicles: A RAG-Based Approach for Complex Arithmetic Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.04998","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4f2a9e65b1bfd456c3f16e9e37b888d993eaa37b6fa70d24985bdedcee039263","target":"record","created_at":"2026-06-23T03:13:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e34d743571055b48d31804bf7d9b582ebc28061c46f994c4249fd029d59318e4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-05T13:09:24Z","title_canon_sha256":"c745c55c66907183b9425de779a1bcbda47a2ca43e1dcc92e7c3889ff8d418c7"},"schema_version":"1.0","source":{"id":"2506.04998","kind":"arxiv","version":2}},"canonical_sha256":"aad9711cf69c9465bca16fb53306e560c06b8c82fe67b5ce0a76bf356fddb406","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aad9711cf69c9465bca16fb53306e560c06b8c82fe67b5ce0a76bf356fddb406","first_computed_at":"2026-06-23T03:13:45.821924Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:13:45.821924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xnL8q8fIq9uhgu/KwYk/huJ0qbuQfKUtvYtrAEOZRLkUxbIc38xooGzmSvmPTmTZp/Qy0gwPMvSOrSWMlMbDDw==","signature_status":"signed_v1","signed_at":"2026-06-23T03:13:45.822361Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.04998","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f2a9e65b1bfd456c3f16e9e37b888d993eaa37b6fa70d24985bdedcee039263","sha256:570ce534399b1b6d316f825fcb6cae649047e3c3656d0ac326b37226b4e06487"],"state_sha256":"65186b5e819cf019f1abfb636151cae473aacaeef6a4f35a113fd29589f0c3c2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AXOOfW2ZhhjPivaxiv5508VzxgEM1R9TBn6cGstKnjqBbDPv6/qfUNsWoriltuYo4Cb/aIKhtiZDJepxttXNBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T22:26:49.347862Z","bundle_sha256":"93412a46ba8b26582e7d54466358bb7ffca67618add6e90b58b1726c4dc2effd"}}