{"api_url":"https://legalarxiv.org/api/v1/works/arxiv-2602-03837/versions/v3","as_of":"2026-08-28T00:00:00+02:00","authorship":{"ordered_authors":[{"corresponding":true,"id":"person:arxiv-2602-03837:01","name":"David P. Woodruff","position":1,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"David P. Woodruff","source_roles":["author","individual_section_contributor","advanced_model_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:02","name":"Vincent Cohen-Addad","position":2,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Vincent Cohen-Addad","source_roles":["author","individual_section_contributor","advanced_model_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:03","name":"Lalit Jain","position":3,"responsibility_scope":"not_further_scoped_in_source","source_metadata_name":"Lalit Jain","source_roles":["author","advanced_model_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:04","name":"Jieming Mao","position":4,"responsibility_scope":"not_further_scoped_in_source","source_metadata_name":"Jieming Mao","source_roles":["author","advanced_model_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:05","name":"Song Zuo","position":5,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Song Zuo","source_roles":["author","individual_section_contributor","advanced_model_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:06","name":"MohammadHossein Bateni","position":6,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"MohammadHossein Bateni","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:07","name":"Simina Brânzei","position":7,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Simina Branzei","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:08","name":"Michael P. Brenner","position":8,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Michael P. Brenner","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:09","name":"Lin Chen","position":9,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Lin Chen","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:10","name":"Ying Feng","position":10,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Ying Feng","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:11","name":"Lance Fortnow","position":11,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Lance Fortnow","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:12","name":"Gang Fu","position":12,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Gang Fu","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:13","name":"Ziyi Guan","position":13,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Ziyi Guan","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:14","name":"Zahra Hadizadeh","position":14,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Zahra Hadizadeh","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:15","name":"Mohammad T. Hajiaghayi","position":15,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Mohammad T. Hajiaghayi","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:16","name":"Mahdi JafariRaviz","position":16,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Mahdi JafariRaviz","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:17","name":"Adel Javanmard","position":17,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Adel Javanmard","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:18","name":"Karthik C. S.","position":18,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Karthik C. S.","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:19","name":"Ken-ichi Kawarabayashi","position":19,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Ken-ichi Kawarabayashi","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:20","name":"Ravi Kumar","position":20,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Ravi Kumar","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:21","name":"Silvio Lattanzi","position":21,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Silvio Lattanzi","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:22","name":"Euiwoong Lee","position":22,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Euiwoong Lee","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:23","name":"Yi Li","position":23,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Yi Li","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:24","name":"Ioannis Panageas","position":24,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Ioannis Panageas","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:25","name":"Dimitris Paparas","position":25,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Dimitris Paparas","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:26","name":"Benjamin Przybocki","position":26,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Benjamin Przybocki","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:27","name":"Bernardo Subercaseaux","position":27,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Bernardo Subercaseaux","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:28","name":"Ola Svensson","position":28,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Ola Svensson","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:29","name":"Shayan Taherijam","position":29,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Shayan Taherijam","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:30","name":"Xuan Wu","position":30,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Xuan Wu","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:31","name":"Eylon Yogev","position":31,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Eylon Yogev","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:32","name":"Morteza Zadimoghaddam","position":32,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Morteza Zadimoghaddam","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:33","name":"Samson Zhou","position":33,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Samson Zhou","source_roles":["author","individual_section_contributor"]},{"corresponding":false,"id":"person:arxiv-2602-03837:34","name":"Yossi Matias","position":34,"responsibility_scope":"not_further_scoped_in_source","source_metadata_name":"Yossi Matias","source_roles":["author"]},{"corresponding":false,"id":"person:arxiv-2602-03837:35","name":"James Manyika","position":35,"responsibility_scope":"not_further_scoped_in_source","source_metadata_name":"James Manyika","source_roles":["author"]},{"corresponding":true,"id":"person:arxiv-2602-03837:36","name":"Vahab Mirrokni","position":36,"responsibility_scope":"correctness_of_attributed_individual_sections_only","source_metadata_name":"Vahab Mirrokni","source_roles":["author","individual_section_contributor","advanced_model_contributor"]}],"platform_attestation":"not_obtained","source_responsibility_note":"Authors marked as individual-section contributors are responsible only for the correctness of their attributed section; model-variant contribution is a separate source role."},"canonical_url":"https://legalarxiv.org/works/arxiv-2602-03837/v3","case_notes":[{"access":"Construction and calculations public; attempt population unavailable","ai_role":"Counterexample generator and calculator","human_intervention":"Problem framing, search constraints, and independent arithmetic inspection","id":"case:arxiv-2602-03837-v3:online-submodular-welfare","outcome_group":"Refutation","passage_id":"passage:arxiv-2602-03837-v3:S3.SS1","reported_result":"A small counterexample is reported to refute a human conjecture.","section_id":"section:arxiv-2602-03837-v3:S3.SS1","validation":"Author-reported human check of a fully specified mathematical instance","warning":"The instance establishes one mathematical refutation. It does not estimate how often comparable attempts succeed."},{"access":"Prompting process partly described","ai_role":"Adversarial technical reviewer","human_intervention":"Human cryptography experts isolated the decisive issue and conveyed it to the affected authors","id":"case:arxiv-2602-03837-v3:snargs-from-lwe","outcome_group":"Review","passage_id":"passage:arxiv-2602-03837-v3:S3.SS2","reported_result":"Iterative adversarial review is reported to identify a fatal definition–construction mismatch.","section_id":"section:arxiv-2602-03837-v3:S3.SS2","validation":"Named expert review followed by author acknowledgment and revision, as reported","warning":"The record supports a specific flaw report and response; it does not establish a general model-review reliability rate."},{"access":"External theorem dependencies are named but not yet atomically linked here","ai_role":"Interdisciplinary theorem retriever and proof collaborator","human_intervention":"Source retrieval, dependency checking, and editing","id":"case:arxiv-2602-03837-v3:max-cut","outcome_group":"Proof route","passage_id":"passage:arxiv-2602-03837-v3:S4.SS1","reported_result":"A cross-disciplinary measure-theoretic proof route is reported.","section_id":"section:arxiv-2602-03837-v3:S4.SS1","validation":"Author-checked mathematical argument, as reported","warning":"The source dependencies and division between model-written and human-edited reasoning require finer passage provenance."},{"access":"Different model settings are described; earlier attempts are incomplete","ai_role":"Cross-domain theorem identification","human_intervention":"Problem de-identification, prompting, source checks, novelty checks, and proof review","id":"case:arxiv-2602-03837-v3:euclidean-steiner-trees","outcome_group":"Proof route","passage_id":"passage:arxiv-2602-03837-v3:S4.SS2","reported_result":"The reported proof uses Kirszbraun’s theorem after a problem de-identification treatment.","section_id":"section:arxiv-2602-03837-v3:S4.SS2","validation":"Human mathematical checking, as reported","warning":"Problem de-identification is an experimental treatment that affects novelty, reproducibility, and contamination analysis."},{"access":"Novelty context changed in v2","ai_role":"Proof and roadmap collaborator","human_intervention":"Verification, adoption, and post-release prior-art correction","id":"case:arxiv-2602-03837-v3:perfect-matchings","outcome_group":"Mixed result","passage_id":"passage:arxiv-2602-03837-v3:S4.SS3","reported_result":"A proved bound and research roadmap were later recontextualized by missed prior work.","section_id":"section:arxiv-2602-03837-v3:S4.SS3","validation":"Mixed: proved result, speculative roadmap, and external correction","warning":"The proved result must remain separate from the roadmap; added Gurvits prior work materially changed novelty context."},{"access":"Public files; transcript described as lightly edited","ai_role":"IDE agent and proof drafter","human_intervention":"Strategy, correction of an invalid assumption, verification, and release custody","id":"case:arxiv-2602-03837-v3:search-versus-decision","outcome_group":"Mixed result","passage_id":"passage:arxiv-2602-03837-v3:S5.SS1","reported_result":"An AI-integrated IDE is reported to draft a paper through eight substantive prompts.","section_id":"section:arxiv-2602-03837-v3:S5.SS1","validation":"Human-reviewed with linked supporting files, as reported","warning":"Human authors retain responsibility. The invalid assumption and its human correction are material provenance, not incidental process detail."},{"access":"About 600 branches and over 80% pruning are reported; the model is not publicly reproducible","ai_role":"Branch-generating neuro-symbolic search system","human_intervention":"Objective design, baseline construction, interpretation, and adoption","id":"case:arxiv-2602-03837-v3:cosmic-string-spectra","outcome_group":"Agentic search","passage_id":"passage:arxiv-2602-03837-v3:S6.SS1","reported_result":"A model, tree search, and Python feedback loop are reported to find six analytical methods.","section_id":"section:arxiv-2602-03837-v3:S6.SS1","validation":"Computational comparison and human analysis, as reported","warning":"Rejected routes, code, tracebacks, selection logic, and public-model reproduction are needed to interpret the reported success."},{"access":"A failed hypercontractivity branch is described","ai_role":"Proof investigator across multiple branches","human_intervention":"Error detection, branch correction, and completion-state judgment","id":"case:arxiv-2602-03837-v3:courtade-kumar","outcome_group":"Mixed result","passage_id":"passage:arxiv-2602-03837-v3:S8.SS1","reported_result":"The reported branches include complete, improved, partial, and incorrect results.","section_id":"section:arxiv-2602-03837-v3:S8.SS1","validation":"Heterogeneous and branch-specific","warning":"The incorrect inequality branch is retained alongside successful results; validation belongs to each branch, not the work as a whole."}],"claim_traces":[{"claimClass":"mathematical_counterexample","contributions":[{"actorClass":"model","attribution":"Gemini-based model, as reported by the section authors","contribution":"Selected small dimensions, proposed the valuations and epsilon, and generated the verification calculations without further interaction, according to the source.","evidencePassageId":"passage:arxiv-2602-03837-v3:S3.SS1.SSSx1.p3","id":"contribution:arxiv-2602-03837-v3:move-vs-copy:model","responsibility":"none"},{"actorClass":"human","attribution":"Morteza Zadimoghaddam and Vahab Mirrokni","contribution":"Defined the task and search parameters, independently checked the arithmetic, adopted the result, and accepted section-scoped responsibility.","evidencePassageId":"passage:arxiv-2602-03837-v3:S3.SS1.SSSx1.p3","id":"contribution:arxiv-2602-03837-v3:move-vs-copy:human","responsibility":"section_correctness_as_declared_by_source"}],"evaluation":{"basis":"The public source supplies the construction and reports independent arithmetic checking by the human researchers.","checkedAt":"2026-08-28T00:00:00+02:00","evaluator":"agent:legalarxiv-pilot","id":"evaluation:arxiv-2602-03837-v3:move-vs-copy:pilot","status":"source_supported_not_independently_reverified"},"evidence":{"access":"public_source_html","description":"A valuation table and six-permutation calculation report LHS = 122.6/6 and RHS = 121.8/6.","id":"evidence:arxiv-2602-03837-v3:move-vs-copy-calculation","independentPlatformVerification":"not_performed","kind":"source_authored_mathematical_construction"},"id":"claim:arxiv-2602-03837-v3:move-vs-copy-counterexample","inferentialScope":"existence_and_refutation_of_the_stated_inequality_for_the_constructed_instance","limitations":["The platform has not independently re-run or formally verified the calculation.","The example proves existence and refutes the stated inequality; it is not evidence about model success frequency or comparative research acceleration.","The full prompt, sampling settings, rejected attempts, and attempt denominator are unavailable.","The result does not resolve the tight approximation bound discussed by the source."],"occurrences":[{"passageId":"passage:arxiv-2602-03837-v3:S3.SS1.SSSx1.p3","role":"model_and_human_process_report","selector":"#S3.SS1.SSSx1.p3","sourceUrl":"https://arxiv.org/html/2602.03837v3#S3.SS1.SSSx1.p3"},{"passageId":"passage:arxiv-2602-03837-v3:S3.SS1.SSSx5.p1","role":"counterexample_construction","selector":"#S3.SS1.SSSx5.p1","sourceUrl":"https://arxiv.org/html/2602.03837v3#S3.SS1.SSSx5.p1"},{"passageId":"passage:arxiv-2602-03837-v3:S3.SS1.SSSx8.p1","role":"calculation_and_refutation","selector":"#S3.SS1.SSSx8.p1","sourceUrl":"https://arxiv.org/html/2602.03837v3#S3.SS1.SSSx8.p1"}],"proposition":"The source presents a three-item, two-agent submodular-welfare instance whose calculated residual gain violates the cited Move-vs-Copy conjecture.","provenanceClass":"platform_interpreted","versionEventId":"event:arxiv-2602-03837:v3-release","versionId":"version:arxiv-2602-03837-v3"}],"completeness":{"attempt_sets_complete":false,"author_attested":false,"indexed_only_sections":9,"passage_level_reconstruction_complete":false,"reconstruction_state":"pilot_reconstruction","represented_by_reconstructed_notes":8,"response_transport_truncated":false,"section_count_is_atomic_episode_count":false,"source_artifacts_mirrored":false,"source_section_index_complete":true,"source_top_level_technical_sections":17},"discovery":{"ai_roles":["Research collaborator","Proof collaborator","Technical reviewer"],"byline":"David P. Woodruff, Vincent Cohen-Addad, Lalit Jain, and 33 others","entry_kind":"work","evaluation_state":"Claim-specific","identifier_text":"arxiv:2602.03837 · v3","jurisdiction":"Not applicable","language":"en","latest_change":"Color-description cleanup, a cosmic-string follow-up citation, and minor wording edits.","primary_subject":"Human–AI research","status":"Pilot reconstruction","strongest_limitation":"The cases are selected; the full denominator of projects, prompts, branches, and abandoned investigations is unavailable.","subjects":["Human–AI research","Artificial intelligence","Theoretical computer science"],"summary":"A selected collection reporting human–AI collaboration across theoretical computer science, economics, optimization, and physics.","version_ordinal":3,"work_type":"Research collection"},"exact_version":"v3","family_id":"work:arxiv-2602-03837","id":"version:arxiv-2602-03837-v3","identity":{"abstract":"Recent advances in large language models (LLMs) have opened new avenues for accelerating scientific research. While models are increasingly capable of assisting with routine tasks, their ability to contribute to novel, expert-level mathematical discovery is less understood.\n\nWe present a collection of case studies demonstrating how researchers have successfully collaborated with advanced AI models, specifically Google’s Gemini-based models (in particular Gemini Deep Think and its advanced variants), to solve open problems, refute conjectures, and generate new proofs across diverse areas in theoretical computer science, as well as other areas such as economics, optimization, and physics.\n\nBased on these experiences, we extract common techniques for effective human-AI collaboration in theoretical research, such as iterative refinement, problem decomposition, and cross-disciplinary knowledge transfer. While the majority of our results stem from this interactive, conversational methodology, we also highlight specific instances that push beyond standard chat interfaces.\n\nThese include deploying the model as a rigorous adversarial reviewer to detect subtle flaws in existing proofs, and embedding it within a “neuro-symbolic” loop that autonomously writes and executes code to verify complex derivations. Together, these examples highlight the potential of AI not just as a tool for automation, but as a versatile, genuine partner in the creative process of scientific discovery.","fixity":{"explanation":"The arXiv source is linked but has not yet been mirrored into platform object storage. No digest is fabricated.","manifestDigest":null,"state":"external_source_not_mirrored"},"inferential_class":"retrospective_selected_case_series","initial_submitted_at":"2026-02-03T18:56:17Z","object_type":"research_collection","source_pages":154,"subjects":["cs.CL","cs.AI"],"title":"Accelerating Scientific Research with Gemini: Case Studies and Common Techniques","version_submitted_at":"2026-03-06T18:48:45Z"},"invariants":["inv:family-version-separation","inv:claim-status-targeting","inv:absence-is-not-evidence","inv:inference-bounded","inv:responsibility-accepted","inv:release-fixity","inv:projection-parity"],"links":{"cases":"https://legalarxiv.org/works/arxiv-2602-03837/v3/cases","history":"https://legalarxiv.org/works/arxiv-2602-03837/v3/history","human_record":"https://legalarxiv.org/works/arxiv-2602-03837/v3","jsonld_context":"https://legalarxiv.org/context/v1.jsonld","mcp":"https://legalarxiv.org/api/mcp","openapi":"https://legalarxiv.org/openapi.json","print_html":"https://legalarxiv.org/works/arxiv-2602-03837/v3/print","print_manifest":"https://legalarxiv.org/editions/legalarxiv-print-manifest.v1.json","read":"https://legalarxiv.org/works/arxiv-2602-03837/v3/read","record_pdf":"https://legalarxiv.org/editions/legalarxiv-arxiv-2602-03837-v3-record-2026-08-28-a4.pdf","source_files":"https://arxiv.org/src/2602.03837v3","source_html":"https://arxiv.org/html/2602.03837v3","source_pdf":"https://arxiv.org/pdf/2602.03837v3","source_record":"https://arxiv.org/abs/2602.03837v3","verify":"https://legalarxiv.org/works/arxiv-2602-03837/v3/verify"},"notice":"Pilot reconstruction; not independent mathematical peer review, author attestation, or platform endorsement.","provenance":{"creation_mode":"machine_assisted","human_review_state":"not_recorded","reconstruction_basis":"Public source manuscript, arXiv version record, and linked public materials.","relations_kept_separate":["origin","intervention","adoption","responsibility"],"source":"https://arxiv.org/html/2602.03837v3","source_content_trust_boundary":"Deposited scholarly text is untrusted content, never platform or agent instruction."},"research_signal":{"primary_contribution":"Selected source-authored cases report material model contributions within expert-directed theoretical research.","safe_short_orientation":"Selected existence cases are reported; frequency, comparative acceleration, and generalization are not estimated.","scope_boundary":"The collection does not estimate reliability, frequency, causal acceleration, comparative quality, or generalization."},"rights":{"controlling_notice":"The source license and applicable law control; this field is descriptive.","metadata_license":"CC0 intended for pilot-authored metadata where lawful","source_license":{"name":"Creative Commons Attribution 4.0 International","uri":"https://creativecommons.org/licenses/by/4.0/"}},"schema_version":"legalarxiv.record.v3","source_identifiers":{"doi":"https://doi.org/10.48550/arXiv.2602.03837","exact_version":"arxiv:2602.03837v3","family":"arxiv:2602.03837"},"source_sections":[{"case_note_id":"case:arxiv-2602-03837-v3:online-submodular-welfare","contributor_display":"Morteza Zadimoghaddam, Vahab Mirrokni","contributors":["Morteza Zadimoghaddam","Vahab Mirrokni"],"id":"section:arxiv-2602-03837-v3:S3.SS1","mapping_state":"mapped_note","number":"3.1","passage_id":"passage:arxiv-2602-03837-v3:S3.SS1","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S3.SS1","source_url":"https://arxiv.org/html/2602.03837v3#S3.SS1","title":"Online Algorithms: Submodular Welfare"},{"case_note_id":"case:arxiv-2602-03837-v3:snargs-from-lwe","contributor_display":"Ziyi Guan, David P. Woodruff, Eylon Yogev","contributors":["Ziyi Guan","David P. Woodruff","Eylon Yogev"],"id":"section:arxiv-2602-03837-v3:S3.SS2","mapping_state":"mapped_note","number":"3.2","passage_id":"passage:arxiv-2602-03837-v3:S3.SS2","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S3.SS2","source_url":"https://arxiv.org/html/2602.03837v3#S3.SS2","title":"Cryptography: AI-Assisted Bug Detection in SNARGs"},{"case_note_id":"case:arxiv-2602-03837-v3:max-cut","contributor_display":"Euiwoong Lee","contributors":["Euiwoong Lee"],"id":"section:arxiv-2602-03837-v3:S4.SS1","mapping_state":"mapped_note","number":"4.1","passage_id":"passage:arxiv-2602-03837-v3:S4.SS1","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S4.SS1","source_url":"https://arxiv.org/html/2602.03837v3#S4.SS1","title":"Approximation Algorithms: Max-Cut"},{"case_note_id":"case:arxiv-2602-03837-v3:euclidean-steiner-trees","contributor_display":"Karthik C. S.","contributors":["Karthik C. S."],"id":"section:arxiv-2602-03837-v3:S4.SS2","mapping_state":"mapped_note","number":"4.2","passage_id":"passage:arxiv-2602-03837-v3:S4.SS2","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S4.SS2","source_url":"https://arxiv.org/html/2602.03837v3#S4.SS2","title":"Computational Geometry: Steiner Trees"},{"case_note_id":"case:arxiv-2602-03837-v3:perfect-matchings","contributor_display":"Ken-ichi Kawarabayashi","contributors":["Ken-ichi Kawarabayashi"],"id":"section:arxiv-2602-03837-v3:S4.SS3","mapping_state":"mapped_note","number":"4.3","passage_id":"passage:arxiv-2602-03837-v3:S4.SS3","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S4.SS3","source_url":"https://arxiv.org/html/2602.03837v3#S4.SS3","title":"Graph Theory: Computing Perfect Matchings in Regular Bipartite Graphs"},{"case_note_id":"case:arxiv-2602-03837-v3:search-versus-decision","contributor_display":"Lance Fortnow","contributors":["Lance Fortnow"],"id":"section:arxiv-2602-03837-v3:S5.SS1","mapping_state":"mapped_note","number":"5.1","passage_id":"passage:arxiv-2602-03837-v3:S5.SS1","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S5.SS1","source_url":"https://arxiv.org/html/2602.03837v3#S5.SS1","title":"Search vs. Decision in S₂ᴾ"},{"case_note_id":"case:arxiv-2602-03837-v3:cosmic-string-spectra","contributor_display":"Michael P. Brenner, Vincent Cohen-Addad, David P. Woodruff","contributors":["Michael P. Brenner","Vincent Cohen-Addad","David P. Woodruff"],"id":"section:arxiv-2602-03837-v3:S6.SS1","mapping_state":"mapped_note","number":"6.1","passage_id":"passage:arxiv-2602-03837-v3:S6.SS1","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S6.SS1","source_url":"https://arxiv.org/html/2602.03837v3#S6.SS1","title":"Physics: Cosmic String Spectra"},{"case_note_id":null,"contributor_display":"Benjamin Przybocki, Bernardo Subercaseaux","contributors":["Benjamin Przybocki","Bernardo Subercaseaux"],"id":"section:arxiv-2602-03837-v3:S7.SS1","mapping_state":"indexed_source_only","number":"7.1","passage_id":"passage:arxiv-2602-03837-v3:S7.SS1","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S7.SS1","source_url":"https://arxiv.org/html/2602.03837v3#S7.SS1","title":"Graph Theory: Biclique Partitions"},{"case_note_id":null,"contributor_display":"Simina Brânzei, Ioannis Panageas, Dimitris Paparas","contributors":["Simina Brânzei","Ioannis Panageas","Dimitris Paparas"],"id":"section:arxiv-2602-03837-v3:S7.SS2","mapping_state":"indexed_source_only","number":"7.2","passage_id":"passage:arxiv-2602-03837-v3:S7.SS2","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S7.SS2","source_url":"https://arxiv.org/html/2602.03837v3#S7.SS2","title":"Query Complexity: Local Search on General Graphs"},{"case_note_id":null,"contributor_display":"Yi Li, David P. Woodruff, Xuan Wu","contributors":["Yi Li","David P. Woodruff","Xuan Wu"],"id":"section:arxiv-2602-03837-v3:S7.SS3","mapping_state":"indexed_source_only","number":"7.3","passage_id":"passage:arxiv-2602-03837-v3:S7.SS3","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S7.SS3","source_url":"https://arxiv.org/html/2602.03837v3#S7.SS3","title":"Robust Coresets"},{"case_note_id":null,"contributor_display":"Ola Svensson","contributors":["Ola Svensson"],"id":"section:arxiv-2602-03837-v3:S7.SS4","mapping_state":"indexed_source_only","number":"7.4","passage_id":"passage:arxiv-2602-03837-v3:S7.SS4","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S7.SS4","source_url":"https://arxiv.org/html/2602.03837v3#S7.SS4","title":"Submodular Function Maximization in a Stream"},{"case_note_id":null,"contributor_display":"Ying Feng, David P. Woodruff, Samson Zhou","contributors":["Ying Feng","David P. Woodruff","Samson Zhou"],"id":"section:arxiv-2602-03837-v3:S7.SS5","mapping_state":"indexed_source_only","number":"7.5","passage_id":"passage:arxiv-2602-03837-v3:S7.SS5","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S7.SS5","source_url":"https://arxiv.org/html/2602.03837v3#S7.SS5","title":"Streaming Algorithms: Entropy, Low Rank Approximation, and Chamfer Distance"},{"case_note_id":"case:arxiv-2602-03837-v3:courtade-kumar","contributor_display":"Adel Javanmard","contributors":["Adel Javanmard"],"id":"section:arxiv-2602-03837-v3:S8.SS1","mapping_state":"mapped_note","number":"8.1","passage_id":"passage:arxiv-2602-03837-v3:S8.SS1","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S8.SS1","source_url":"https://arxiv.org/html/2602.03837v3#S8.SS1","title":"Information Theory: The Courtade–Kumar Conjecture"},{"case_note_id":null,"contributor_display":"Ravi Kumar and Silvio Lattanzi, on behalf of coauthors","contributors":["Ravi Kumar","Silvio Lattanzi"],"id":"section:arxiv-2602-03837-v3:S8.SS2","mapping_state":"indexed_source_only","number":"8.2","passage_id":"passage:arxiv-2602-03837-v3:S8.SS2","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S8.SS2","source_url":"https://arxiv.org/html/2602.03837v3#S8.SS2","title":"NP-hardness: Ratio Difference Maximization (RDM)"},{"case_note_id":null,"contributor_display":"Lin Chen, Gang Fu, David P. Woodruff","contributors":["Lin Chen","Gang Fu","David P. Woodruff"],"id":"section:arxiv-2602-03837-v3:S8.SS3","mapping_state":"indexed_source_only","number":"8.3","passage_id":"passage:arxiv-2602-03837-v3:S8.SS3","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#S8.SS3","source_url":"https://arxiv.org/html/2602.03837v3#S8.SS3","title":"Machine Learning Optimization: Self-regularized Gumbel Sigmoid"},{"case_note_id":null,"contributor_display":"Song Zuo, David P. Woodruff","contributors":["Song Zuo","David P. Woodruff"],"id":"section:arxiv-2602-03837-v3:Sx2.SS4","mapping_state":"indexed_source_only","number":"8.4","passage_id":"passage:arxiv-2602-03837-v3:Sx2.SS4","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#Sx2.SS4","source_url":"https://arxiv.org/html/2602.03837v3#Sx2.SS4","title":"Mechanism Design: Revelation Principle Reduction Domain Extension"},{"case_note_id":null,"contributor_display":"MohammadHossein Bateni, Zahra Hadizadeh, MohammadTaghi Hajiaghayi, Mahdi JafariRaviz, and Shayan Taherijam","contributors":["MohammadHossein Bateni","Zahra Hadizadeh","Mohammad T. Hajiaghayi","Mahdi JafariRaviz","Shayan Taherijam"],"id":"section:arxiv-2602-03837-v3:Sx2.SS5","mapping_state":"indexed_source_only","number":"8.5","passage_id":"passage:arxiv-2602-03837-v3:Sx2.SS5","responsibility_basis":"Source section byline; correctness responsibility is scoped by the source authorship note.","source_selector":"#Sx2.SS5","source_url":"https://arxiv.org/html/2602.03837v3#Sx2.SS5","title":"Networked Information Aggregation for Binary Classification"}],"status_assertions":[{"asserted_by":"agent:legalarxiv-pilot","basis":"Public arXiv abstract and version pages for arXiv:2602.03837v3.","checked_at":"2026-08-28T00:00:00+02:00","facet":"deposit","id":"status:arxiv-2602-03837-v3:deposit","known_gaps":[],"meaning":"The exact source manuscript is arXiv version 3, submitted 6 March 2026.","scope":"source identity and release relationship","target_id":"version:arxiv-2602-03837-v3","value":"source_preprint_v3"},{"asserted_by":"agent:legalarxiv-pilot","basis":"Platform extraction and interpretation of public source materials.","checked_at":"2026-08-28T00:00:00+02:00","facet":"archive_record","id":"status:arxiv-2602-03837-v3:archive-record","known_gaps":["author attestation","complete passage reconstruction","mirrored source artifact"],"meaning":"The platform reconstructed this record from public materials; authors have not attested it here.","scope":"Legalarxiv record","target_id":"version:arxiv-2602-03837-v3","value":"pilot_reconstruction"},{"asserted_by":"agent:legalarxiv-pilot","basis":"The source describes different validation processes for different episodes.","checked_at":"2026-08-28T00:00:00+02:00","facet":"validation","id":"status:arxiv-2602-03837-v3:validation","known_gaps":["independent theorem-by-theorem platform review"],"meaning":"Validation is recorded separately for each episode; no aggregate correctness score is provided.","scope":"collection-level orientation only; rely on claim or case status","target_id":"version:arxiv-2602-03837-v3","value":"heterogeneous_claim_specific"},{"asserted_by":"agent:legalarxiv-pilot","basis":"No work-wide independent peer-review conclusion is established by the pilot sources.","checked_at":"2026-08-28T00:00:00+02:00","facet":"peer_review","id":"status:arxiv-2602-03837-v3:peer-review","known_gaps":["venue-review history outside the inspected record"],"meaning":"This pilot makes no work-wide claim of independent peer review.","scope":"work version","target_id":"version:arxiv-2602-03837-v3","value":"not_asserted"},{"asserted_by":"agent:legalarxiv-pilot","basis":"Manual pilot source audit.","checked_at":"2026-08-28T00:00:00+02:00","facet":"currentness","id":"status:arxiv-2602-03837-v3:currentness","known_gaps":["continuous monitoring","unlisted downstream corrections"],"meaning":"Pilot source and version relationships were reviewed through the as-of date; this is not continuous monitoring.","scope":"listed source and version relationships","target_id":"version:arxiv-2602-03837-v3","value":"checked_through_2026_08_28_for_pilot_sources"}],"version_events":[{"date":"2026-02-03","id":"event:arxiv-2602-03837:v1-release","sourceChange":"Initial public release.","statusEffect":"Introduced the public source family and baseline claims.","typedImpact":["baseline_release"],"version":"v1"},{"date":"2026-02-16","id":"event:arxiv-2602-03837:v2-release","sourceChange":"Two authors added; discussion updated; Gurvits prior work discussed; cosmic-string analysis clarified.","statusEffect":"Changed attribution and novelty context; dependent summaries require re-evaluation.","typedImpact":["credit_and_responsibility","prior_art_and_novelty","technical_result","framing"],"version":"v2"},{"date":"2026-03-06","id":"event:arxiv-2602-03837:v3-release","sourceChange":"Color-description cleanup, a cosmic-string follow-up citation, and minor wording edits.","statusEffect":"Created the exact version represented by this record; v2 projections must not masquerade as v3.","typedImpact":["accessibility_and_presentation","continuation","framing","minor_text"],"version":"v3"}]}