{"as_of":"2026-08-16T18:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:56a41fbf16c9cdf9ec2f0be31b82cc1700b178f4ecd3de60b59d9502bc686a75","coverage":[{"denominator":80,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":80,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T17:44:15.134570Z","state":"measured"},{"denominator":80,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":80,"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.13060/citation-record","integrity":"/paper/2608.13060/integrity","json":"/paper/2608.13060/citation-record.json","paper":"/paper/2608.13060"},"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-15T17:44:16.051472Z","title":"2026 , eprint =","venue":null,"work_id":"bd81b73c-c863-4838-ac23-1b1291d8b4a8","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.859975Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:6ec0c9aa8897ffa27802b53a568dd35f0cf2dec7796e79550503c217a6b69248","observation_id":"74f6ed6f-2ce5-4f52-ac62-bdc3d7a469b5","resolution":{"observed_at":"2026-08-15T17:44:16.054942Z","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-15T17:44:16.041482Z","title":"Pacific Journal of Mathematics , volume =","venue":null,"work_id":"a4c01af4-680b-4711-ba98-cdc9bbf82033","year":1958},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.864175Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:e4a6d9fde990620d02bef4f4ff8a69cc541abe16aa975fab4871d9429231599a","observation_id":"2d1ee00d-fe61-4c4c-9628-694e5751f264","resolution":{"observed_at":"2026-08-15T17:44:16.045168Z","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-15T17:44:16.030785Z","title":"Communications of the ACM , volume =","venue":null,"work_id":"256b1647-8db4-4d6c-8b96-fb4f2bbf480e","year":1984},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.867653Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:9551852a4f58029984723ef0e5b7a285317343262d5c305a155e740849afc889","observation_id":"65d0f87d-0c94-4601-bea3-f3e0964ae36d","resolution":{"observed_at":"2026-08-15T17:44:16.034798Z","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-15T17:44:16.020881Z","title":"Information and Computation , volume =","venue":null,"work_id":"1931cd6e-2bc9-4bd8-a161-dd2c18c11121","year":1987},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.871186Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:7d872e7ea5a92d4e2a1cca185d90443774d878302eba2448e875ebdf711695ce","observation_id":"2ff23b64-aa22-4258-92c4-c7427d1665e5","resolution":{"observed_at":"2026-08-15T17:44:16.024267Z","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-15T17:44:16.010736Z","title":"Information and Control , volume =","venue":null,"work_id":"db3bebb4-5cef-437b-b27f-2ce3674d8333","year":1967},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.874727Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:65aa8964e3cfaf7fcf40ed93865c4a969e734486613b2d6a05b724c55437fdf4","observation_id":"b1b68a5b-baad-443d-91be-1d45a325baa2","resolution":{"observed_at":"2026-08-15T17:44:16.014236Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:14.878106Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.878106Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:2b599cd98617479fc7ecab8e129addafd981cc28e44f404c08056539f89e57ea","observation_id":"5e14aaed-f186-427e-9c11-184d11d1124e","resolution":{"observed_at":"2026-08-15T17:44:14.878106Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.993995Z","title":"2014 , doi =","venue":null,"work_id":"9a719e13-6848-4706-8631-af1efc265be8","year":2014},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.881664Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:89343b8c53563669a1cd0511c4aeabb14403fcb41b0ddc60eb9a9c20c568c6f8","observation_id":"35651fdb-79c3-4ec6-863f-28ac66b256d6","resolution":{"observed_at":"2026-08-15T17:44:15.997861Z","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-15T17:44:15.983747Z","title":"2019 , doi =","venue":null,"work_id":"5e8d24e1-bb4f-46aa-9cff-9d435d683822","year":2019},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.885289Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:54aa8212e3fbed6061dee32355d3a8f1b10e1392b10e4b31889f45bae6a41eaf","observation_id":"24331e6d-5184-468d-9010-4842b20406e8","resolution":{"observed_at":"2026-08-15T17:44:15.987418Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:14.888746Z","title":"2023 , url =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.888746Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:d8ec8759586e69f559105a78920750ffc0cb579f30ab0c27a6a002855040360b","observation_id":"1790a9a4-aa87-4063-8ddb-141c92b891c5","resolution":{"observed_at":"2026-08-15T17:44:14.888746Z","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-15T17:44:14.892476Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.892476Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:0067fe87a8e769cb2e7fe9f0543e448a2839a7fa20dd57f69bb264d6312bbea1","observation_id":"736d915a-ab95-468d-b503-eeb6c6aa910e","resolution":{"observed_at":"2026-08-15T17:44:14.892476Z","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-15T17:44:14.895909Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.895909Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:4cb825028dbf9ca84ba2f150080e6ede1f69323dac41cb1da921cdbedfff426b","observation_id":"efb28a63-83c6-448f-b2d1-5e0a1a575cd5","resolution":{"observed_at":"2026-08-15T17:44:14.895909Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.06292","last_updated":"2024-09-01T00:41:18Z","snapshot_observed_at":"2026-07-06T18:59:43.564435Z","submitted_at":"2024-08-12T16:58:11Z","title":"The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.06292","snapshot_observed_at":"2026-08-15T17:44:14.899177Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.899177Z"},"links":{"cited_paper":"/paper/2408.06292","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:593aad7fd70b292048567af16c9a06266a1b2d2a46df4410a2f5b39642d7b785","observation_id":"b82aede0-5f6d-4c8f-9f18-decca60c9fb0","resolution":{"observed_at":"2026-08-15T17:44:14.899177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.04227","last_updated":"2025-06-17T16:19:14Z","snapshot_observed_at":"2026-08-03T03:40:06.947021Z","submitted_at":"2025-01-08T01:58:42Z","title":"Agent Laboratory: Using LLM Agents as Research Assistants","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.04227","snapshot_observed_at":"2026-08-15T17:44:14.903220Z","title":"Agent Laboratory: Using","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.903220Z"},"links":{"cited_paper":"/paper/2501.04227","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:f66ab6b83ceb93a6599d07948a7eeb83c862229a737ca62a3f15efdb047a2c9b","observation_id":"8b3c7715-9582-4fc0-b908-a4f0648ef4ae","resolution":{"observed_at":"2026-08-15T17:44:14.903220Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.957551Z","title":"Accelerating Scientific Discovery with","venue":null,"work_id":"181f9a61-1113-4e7a-8228-c2e5a277fa2b","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.906889Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:f514c1eee62e324e6b717f889c5df262c247441e50e2454c0ed2881fb5a83487","observation_id":"9da4a479-313f-4e71-b737-2c4226bb97ad","resolution":{"observed_at":"2026-08-15T17:44:15.960811Z","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":{"arxiv_id":"2310.03302","last_updated":"2024-04-14T21:02:16Z","snapshot_observed_at":"2026-08-16T14:54:54.719304Z","submitted_at":"2023-10-05T04:06:12Z","title":"MLAgentBench: Evaluating Language Agents on Machine Learning Experimentation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.03302","snapshot_observed_at":"2026-08-15T17:44:14.910309Z","title":"2310.03302 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.910309Z"},"links":{"cited_paper":"/paper/2310.03302","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:9fab9d596ebd27a9af8e275a776751fa065e4f08f0fff7d2ceae2cdb6960eea3","observation_id":"4f0fc178-9d5c-4096-9224-1b83e2470f95","resolution":{"observed_at":"2026-08-15T17:44:14.910309Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.07095","last_updated":"2025-02-26T11:57:30Z","snapshot_observed_at":"2026-08-12T16:49:10.970507Z","submitted_at":"2024-10-09T17:34:27Z","title":"MLE-bench: Evaluating Machine Learning Agents on Machine Learning Engineering","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.07095","snapshot_observed_at":"2026-08-15T17:44:14.914103Z","title":"2410.07095 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.914103Z"},"links":{"cited_paper":"/paper/2410.07095","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:2bb5c275eca4f46de507f7b161346be57b1f52a4247e844eb1fd8e70a1cb241d","observation_id":"0f0a4b76-6793-4299-ba7f-c48c9ab9fa8a","resolution":{"observed_at":"2026-08-15T17:44:14.914103Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15114","last_updated":"2025-05-27T03:32:23Z","snapshot_observed_at":"2026-08-12T16:49:37.896696Z","submitted_at":"2024-11-22T18:30:46Z","title":"RE-Bench: Evaluating frontier AI R&D capabilities of language model agents against human experts","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.15114","snapshot_observed_at":"2026-08-15T17:44:14.918108Z","title":"2411.15114 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.918108Z"},"links":{"cited_paper":"/paper/2411.15114","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:80362cef657dcd23ea80e4a790f93e9a39f6acc412b4257be8f37f9d9065ecf9","observation_id":"b631cdce-8a01-4068-a59f-eb8bc494689e","resolution":{"observed_at":"2026-08-15T17:44:14.918108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.11363","last_updated":"2026-06-22T22:36:12Z","snapshot_observed_at":"2026-08-16T13:17:45.152269Z","submitted_at":"2024-09-17T17:13:19Z","title":"CORE-Bench: Fostering the Credibility of Published Research Through a Computational Reproducibility Agent Benchmark","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.11363","snapshot_observed_at":"2026-08-15T17:44:14.922125Z","title":"and Kapoor, Sayash and Nadgir, Nitya and Stroebl, Benedikt and Narayanan, Arvind , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.922125Z"},"links":{"cited_paper":"/paper/2409.11363","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:b2ae58514ee01355fd4a72f0010e86f7cc82cb9d5f48e090c131051d68a26e71","observation_id":"8c9be865-1226-4ad5-8cea-f631e07755db","resolution":{"observed_at":"2026-08-15T17:44:14.922125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.01848","last_updated":"2025-04-07T12:15:49Z","snapshot_observed_at":"2026-07-06T21:03:06.857885Z","submitted_at":"2025-04-02T15:55:24Z","title":"PaperBench: Evaluating AI's Ability to Replicate AI Research","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.01848","snapshot_observed_at":"2026-08-15T17:44:14.925882Z","title":"2504.01848 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.925882Z"},"links":{"cited_paper":"/paper/2504.01848","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:52ec603c67af6cc52abb1675f8798f621622f5ec1ae2ec9fb846a30b0c7c6676","observation_id":"5c7dcfa0-fd5d-4670-90d6-e1366d2b8fe1","resolution":{"observed_at":"2026-08-15T17:44:14.925882Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.948177Z","title":"and Burns, Benjamin and Adu-Ampratwum, Daniel and Huang, Xuhui and Ning, Xia and Gao, Song and Su, Yu and Sun, Huan , booktitle =","venue":null,"work_id":"d6a07da7-c12d-4361-9da0-cbec4b2224d7","year":2025},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.929336Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:498e2cb569362d18d4b9a7db83ba78f97f23b510465a7f81cb7fd093764fcfa0","observation_id":"b0c83d6f-9d4e-42f0-b034-c9b12ae9e9aa","resolution":{"observed_at":"2026-08-15T17:44:15.951584Z","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-15T17:44:15.938730Z","title":"and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima , booktitle =","venue":null,"work_id":"30dfb3f3-c950-4f83-adcd-31e4671293e3","year":2023},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.932625Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:5505deaa972d4afcbe3cc902c592e4a5bad213cdba518308c7fd62828101c435","observation_id":"e60e0089-8df0-43ad-863a-7cda5881c61b","resolution":{"observed_at":"2026-08-15T17:44:15.942065Z","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":{"arxiv_id":"2607.09217","last_updated":"2026-07-10T09:07:12Z","snapshot_observed_at":"2026-08-14T08:20:02.828209Z","submitted_at":"2026-07-10T09:07:12Z","title":"OpenProver: Agentic and Interactive Theorem Proving with Lean 4","version":1},"cited_work":{"arxiv_id":"2607.09217","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.09217","snapshot_observed_at":"2026-08-15T17:44:15.538725Z","title":"OpenProver: Agentic and Interactive Theorem Proving with Lean 4","venue":"cs.AI","work_id":"29ad5d84-3134-4850-bb2d-cef1d8f62e8a","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.936019Z"},"links":{"cited_paper":"/paper/2607.09217","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:074c022e3455afb243ae7ee4ccc37c01172632aec0f727f8d931d13119006baa","observation_id":"38d96188-d898-4d45-9572-b93cfcb17c1f","resolution":{"observed_at":"2026-08-15T17:44:15.542442Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":{"arxiv_id":"2605.17283","last_updated":"2026-05-17T06:39:05Z","snapshot_observed_at":"2026-08-14T15:06:22.101894Z","submitted_at":"2026-05-17T06:39:05Z","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","version":1},"cited_work":{"arxiv_id":"2605.17283","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.17283","snapshot_observed_at":"2026-08-15T17:44:15.525104Z","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","venue":"cs.CL","work_id":"bfbcf83b-9b09-4396-a5c5-a02ea4e87dce","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.939933Z"},"links":{"cited_paper":"/paper/2605.17283","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:1861a8975160491f2f84b0ece3031362acabd8ea5353c809228f438a47f829a9","observation_id":"60a14c3e-ec20-4cc1-ac12-b8924815bd87","resolution":{"observed_at":"2026-08-15T17:44:15.528954Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-15T17:44:14.943332Z","title":"2601.14027 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.943332Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:400cb7c8674baecbdc1d6a37135b6defc46506ad010bc8caedab2c95d97c0d2f","observation_id":"6f77fe4b-c87e-4a2a-9c4c-d2febf9cc16c","resolution":{"observed_at":"2026-08-15T17:44:14.943332Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.929070Z","title":"2026 , eprint =","venue":null,"work_id":"a3cf5bbe-a0ff-4823-b386-5604ca69dfba","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.946541Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:c225f8d15c7357597a4723b7723fe603281471a96fd75126db08ead3142601f8","observation_id":"c112ff2c-620c-450f-83b2-747a1d48cb2e","resolution":{"observed_at":"2026-08-15T17:44:15.932491Z","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-15T17:44:15.919814Z","title":"2026 , eprint =","venue":null,"work_id":"62345582-dfb9-4b2b-9366-6017f538b1de","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.949764Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:2854c5beae3335193e4e4e0d15c7a7b8b00e3c290c9c176587386d91e76761fc","observation_id":"43bcde6c-90a3-4e8c-95b2-0c46ca010832","resolution":{"observed_at":"2026-08-15T17:44:15.923159Z","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":{"arxiv_id":"2604.24021","last_updated":"2026-06-26T20:24:15Z","snapshot_observed_at":"2026-08-15T08:44:14.051226Z","submitted_at":"2026-04-27T04:10:02Z","title":"QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.24021","snapshot_observed_at":"2026-08-15T17:44:14.952936Z","title":"2604.24021 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.952936Z"},"links":{"cited_paper":"/paper/2604.24021","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:69d54b4b75fcf962a10f3f9e1da4d711dca706c6a89765849ec474df3baff438","observation_id":"05103b5d-e7de-4f44-bad1-55a06eb4e7bf","resolution":{"observed_at":"2026-08-15T17:44:14.952936Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.909913Z","title":"2026 , url =","venue":null,"work_id":"0a4932a3-0f67-481e-8455-8a123fdbee57","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.956524Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:6826af01a8292b5c5834e52cacf0c2b612dd83e574b2232eda9df6ac9110cf5c","observation_id":"9b133fd4-7783-4a61-ab48-d7660fbee2bc","resolution":{"observed_at":"2026-08-15T17:44:15.913220Z","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":{"arxiv_id":"2605.06651","last_updated":"2026-05-13T16:47:04Z","snapshot_observed_at":"2026-08-04T04:11:56.984099Z","submitted_at":"2026-05-07T17:56:32Z","title":"AI co-mathematician: Accelerating mathematicians with agentic AI","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.06651","snapshot_observed_at":"2026-08-15T17:44:14.959675Z","title":"2605.06651 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.959675Z"},"links":{"cited_paper":"/paper/2605.06651","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:139d84a0f3859d6bd0f197951b3ba6750f0af75ad9c70b688757a448bcbcce4d","observation_id":"d3c8b3dc-0fd0-4568-a2e1-19ed2cc63316","resolution":{"observed_at":"2026-08-15T17:44:14.959675Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.899502Z","title":"2026 , eprint =","venue":null,"work_id":"656b254c-14d1-4b21-b41f-e975603e4f62","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.963032Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:65d14bfb7154237216f8c6d5282f2686a04655b0711d01d6fe6ea53db6485e3b","observation_id":"bafe24b3-9733-42cb-b7f1-aa15798c5a91","resolution":{"observed_at":"2026-08-15T17:44:15.903357Z","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-15T17:44:15.888361Z","title":"2026 , eprint =","venue":null,"work_id":"0be8150f-a4ab-4f02-a6e2-e636b9e6f167","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.966569Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:ed6bd7526567ea962a91a23bd6b5f19b2c3d9dd123784152f7db4c84aaa642d8","observation_id":"b988f381-1f17-4518-a6dc-735ebf6befef","resolution":{"observed_at":"2026-08-15T17:44:15.891941Z","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-15T17:44:15.877600Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":"53dc4319-ca3f-4e34-a596-e8892cec588e","year":2020},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.969705Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:08249fe8cd471423cb264b44b611998f8476f0bd54f35f385ca2f1ac0b7ffce1","observation_id":"cd8b0fb0-1aab-421e-a7bf-ebaeb557ae2a","resolution":{"observed_at":"2026-08-15T17:44:15.881045Z","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-15T17:44:15.866211Z","title":"Proceedings of the 42nd International Conference on Machine Learning , pages =","venue":null,"work_id":"a952dd89-f707-4e48-a5cf-3c71e2efb0e3","year":2025},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.972892Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:84ff67d83848189d58946eb6f95d4e165db3a393060ecc19dc923bef236bad63","observation_id":"e3d427de-e990-4fb4-ae1f-af019b2a1fca","resolution":{"observed_at":"2026-08-15T17:44:15.869824Z","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-15T17:44:15.854308Z","title":"Orthogonalized","venue":null,"work_id":"22415555-7227-4e8d-93ea-b851add0111f","year":2017},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.977282Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:d5d7efc70bd5880795411c09f6de8aa37c2cda89a88b6af3d0ed61dc408fbe10","observation_id":"22986918-5704-440a-8373-4fea9e5ba497","resolution":{"observed_at":"2026-08-15T17:44:15.857686Z","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":{"arxiv_id":"2003.04180","last_updated":"2020-03-09T14:57:41Z","snapshot_observed_at":"2026-07-06T09:03:22.521546Z","submitted_at":"2020-03-09T14:57:41Z","title":"Approximate is Good Enough: Probabilistic Variants of Dimensional and Margin Complexity","version":1},"cited_work":{"arxiv_id":"2003.04180","doi":null,"metadata_source":"pith","pith_arxiv_id":"2003.04180","snapshot_observed_at":"2026-08-15T17:44:15.434877Z","title":"Approximate is Good Enough: Probabilistic Variants of Dimensional and Margin Complexity","venue":"cs.LG","work_id":"3f1f9d22-f66a-4bb0-890e-90ab6a56773f","year":2020},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.980455Z"},"links":{"cited_paper":"/paper/2003.04180","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:2ec397f83713db24dcfdbfe222f6690699aaa8ee6155e80906ec9f4468178de7","observation_id":"e4c0fe2c-329b-4113-ae6f-9f8a4e527343","resolution":{"observed_at":"2026-08-15T17:44:15.438629Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-15T17:44:15.843922Z","title":"2026 , eprint =","venue":null,"work_id":"ad8de71c-85b9-4705-a575-91f0004adf37","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.984334Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:e983513127fff168009c6be7147ff62dec2de7c7be91ba560be613a216870162","observation_id":"7e3961ae-127a-45db-8fa8-cc43fd0002b6","resolution":{"observed_at":"2026-08-15T17:44:15.847480Z","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-15T17:44:15.833895Z","title":"Invited Open Problem: Online Optimization of Piecewise-","venue":null,"work_id":"ec8865ab-9ef9-4835-b0a0-1d5914e09ccd","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.987494Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:7f4a5d54d9de1f3ffe7a33bd3d51c3155b0236274722a025815b9513f82f820d","observation_id":"9b77cfe1-d772-413e-8f1f-35185610e4c6","resolution":{"observed_at":"2026-08-15T17:44:15.837489Z","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-15T17:44:15.823013Z","title":"Invited Open Problem: Does Differential Privacy Make","venue":null,"work_id":"75873ee7-55c9-4572-a3fe-4799555849c4","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.990718Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:82829fa6e7d45714384c1e45d82ac349eb3ffd981ba565a712ada81468e6a882","observation_id":"270ed6b0-17af-482d-8989-9d673f48cbd0","resolution":{"observed_at":"2026-08-15T17:44:15.826615Z","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-15T17:44:15.812094Z","title":"Open Problem: How Much Overparametrization Is Needed for","venue":null,"work_id":"2337590b-5bab-4bc3-bb40-fb83cf7c8012","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.994073Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:cba5f341e6e80f5cc7d2a9c369e98c4f13bc6c067a9293696e004b6cc12be74c","observation_id":"93d84522-a367-4389-81a9-bedcefe648f7","resolution":{"observed_at":"2026-08-15T17:44:15.815738Z","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-15T17:44:15.799928Z","title":"Proceedings of the Thirty-Ninth Conference on Learning Theory , pages =","venue":null,"work_id":"ccf7a82e-1561-4b55-80d9-9a338f1bfe40","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:14.997327Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:0067aaf8003bf814957a7e9b34e46bcf5db137caaa33db9824e82851700bf453","observation_id":"d63f9fb1-8189-4b6d-8501-858858ba05e8","resolution":{"observed_at":"2026-08-15T17:44:15.804167Z","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-15T17:44:15.789124Z","title":"Proceedings of the Thirty-Ninth Conference on Learning Theory , pages =","venue":null,"work_id":"aa7fee28-1e4e-4d22-aade-2aa364056302","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.000414Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:9f031876c14942ff18d3a7ff641b44f39c55bb40648f801443de1d36ccfeefe7","observation_id":"6d52fc5c-7511-4ccd-9e84-96220256fe2a","resolution":{"observed_at":"2026-08-15T17:44:15.792623Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.003855Z","title":"Journal of Machine Learning Research , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.003855Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:bf5b1f46faea4bd8a8c6913c1df162ef126a7ca743857f8d9a73cd08b725c723","observation_id":"3a79f372-d45e-4af2-82e4-c3f629ce0f24","resolution":{"observed_at":"2026-08-15T17:44:15.003855Z","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-15T17:44:15.007146Z","title":"Journal of Privacy and Confidentiality , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.007146Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:c2a202e9a68e8b2a03a2cbb9cc64f3e6ea4933ccf8020a4ed19b0070194963df","observation_id":"52e6f317-6d52-488f-82c5-d5c74da3504d","resolution":{"observed_at":"2026-08-15T17:44:15.007146Z","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-15T17:44:15.010673Z","title":"Machine learning , volume=","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.010673Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:255cc259a95e7f2e57eda8c3edc00b0689bf7526f4f8d578c152bcd8f6bb7335","observation_id":"d923b5f3-870e-4838-a6fb-772c33438852","resolution":{"observed_at":"2026-08-15T17:44:15.010673Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.761784Z","title":"Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing , pages=","venue":null,"work_id":"0950f500-e3e2-4c69-9d06-9675b5d85873","year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.014124Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:06a6ace42169f6aeff5edc63233466fe96756742a3265dd62f8dfcd34ed0d6e6","observation_id":"7d597466-f10b-460b-ad4a-6ce1179c2dad","resolution":{"observed_at":"2026-08-15T17:44:15.765267Z","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-15T17:44:15.751972Z","title":"2025 , eprint =","venue":null,"work_id":"4e834df8-1953-4289-8bd1-1464dd179e9d","year":2025},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.017713Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:bfdc77d6cd00b89f7d8c80f7914c2abb6f73f7a464ddb77cdc1fbc4f917737f4","observation_id":"711bcf19-35f3-4c84-b965-2105ad5e6736","resolution":{"observed_at":"2026-08-15T17:44:15.755358Z","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-15T17:44:15.742789Z","title":"2025 , eprint =","venue":null,"work_id":"a9e78a78-5ea8-4d09-9c9b-ad0ad7b6bb2f","year":2025},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.022042Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:b2fcfdef11679be613796496a2a2bbfd2b6bd2e9191cef4500ee933041581cda","observation_id":"1aaf2b48-881b-432c-9c15-4a8627343aa6","resolution":{"observed_at":"2026-08-15T17:44:15.746042Z","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-15T17:44:15.732452Z","title":"SIAM Journal on Matrix Analysis and Applications , volume =","venue":null,"work_id":"5ea308f2-4cfe-427b-80e6-8efd3792e82b","year":2012},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.025425Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:1cb1a7a0a259aefe7b05d3be577c4b30219c1e5eadd3b9a4964a6ebbc09601c0","observation_id":"8a21f092-edd5-4617-a507-3b70a6c890f0","resolution":{"observed_at":"2026-08-15T17:44:15.736389Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.028722Z","title":"Advancing Mathematics by Guiding Human Intuition with","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.028722Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:7841710d12c28bbde7c9e0a98209f9ea45aaf8bc733b2b9b12d0dc3da1890620","observation_id":"4890cd26-96da-4e8e-a405-362ed221ae3a","resolution":{"observed_at":"2026-08-15T17:44:15.028722Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.716810Z","title":"Nature , volume =","venue":null,"work_id":"afac9eca-2acd-4eba-873e-73a448f5268e","year":2024},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.032226Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:6cba73d296378ec75107a8b4d254e1d1edc3be5dd5c7f687e56ba9c25a530961","observation_id":"59aba96b-8264-4afd-ab91-f0f53ff78fb8","resolution":{"observed_at":"2026-08-15T17:44:15.720101Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.035538Z","title":"Nature , volume =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.035538Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:6a57ee4863f59ee276edbf887fbf0c1eef8a99a685ccdc98b233e5b06300ca0c","observation_id":"17c89eb7-4dde-47df-8f70-245b9034fa1c","resolution":{"observed_at":"2026-08-15T17:44:15.035538Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-11T23:48:15.512738Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-15T17:44:15.038834Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.038834Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:e0c99478af15655fbce1dd21ae66dc2818992fe23ad471283b351ce32ab7643a","observation_id":"269f9736-dabf-40da-aa04-d2e6f1ebfb7a","resolution":{"observed_at":"2026-08-15T17:44:15.038834Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.701153Z","title":"2026 , eprint =","venue":null,"work_id":"ecb25740-263a-4d73-894e-feea7202cecc","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.042410Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:13cd9c22c8c41dfd02f433fec28a86921dad27635aeb5d4287fe693e85997a2e","observation_id":"c398b46a-bd25-4487-8d82-84993d59ac2d","resolution":{"observed_at":"2026-08-15T17:44:15.704385Z","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-15T17:44:15.691903Z","title":"2026 , eprint =","venue":null,"work_id":"fb6b1a27-65bc-4ccb-ac00-378967a5a609","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.045720Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:3fb94570591b70a1f11ee15391c0feee559e01f865daf88dbf405518a2d85511","observation_id":"d0ae6d17-049f-4831-bd87-728585889ce6","resolution":{"observed_at":"2026-08-15T17:44:15.695283Z","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-15T17:44:15.682002Z","title":"2026 , eprint =","venue":null,"work_id":"b7c0059a-9de5-46b7-a0fe-4daceb844281","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.048966Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:563f5d5dc56d546a717b6a2f57c96bf7e25b579a07bd975860962174b881ef09","observation_id":"752d9503-5e18-440f-a53e-6b45cc8842d5","resolution":{"observed_at":"2026-08-15T17:44:15.685373Z","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":{"arxiv_id":"2605.22875","last_updated":"2026-05-20T04:54:22Z","snapshot_observed_at":"2026-08-08T18:16:45.579144Z","submitted_at":"2026-05-20T04:54:22Z","title":"RMA: an Agentic System for Research-Level Mathematical Problems","version":1},"cited_work":{"arxiv_id":"2605.22875","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.22875","snapshot_observed_at":"2026-08-15T17:44:15.411185Z","title":"RMA: an Agentic System for Research-Level Mathematical Problems","venue":"cs.AI","work_id":"1eddafd0-6735-4304-828b-c33cd8459d99","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.052307Z"},"links":{"cited_paper":"/paper/2605.22875","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:f8b0fac9b6f551c0a2f3b758f8af2b7c9272ddf04aa3ee9a7a356e935e37bf72","observation_id":"03e186dd-b43f-4a5c-9bf9-4f1188c65da0","resolution":{"observed_at":"2026-08-15T17:44:15.414988Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":{"arxiv_id":"2607.04394","last_updated":"2026-07-05T16:37:40Z","snapshot_observed_at":"2026-08-15T01:34:43.738462Z","submitted_at":"2026-07-05T16:37:40Z","title":"MechMath Agent Team: LLM Driven Agents for Mathematical Research","version":1},"cited_work":{"arxiv_id":"2607.04394","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.04394","snapshot_observed_at":"2026-08-15T17:44:15.397881Z","title":"MechMath Agent Team: LLM Driven Agents for Mathematical Research","venue":"cs.AI","work_id":"2091e4da-f061-4155-b528-8112ce4f67ea","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.055979Z"},"links":{"cited_paper":"/paper/2607.04394","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:01020ed51d923572d39a513b1e3bba8b42b96f19634b98c4874537547079038d","observation_id":"ccee2fd9-d689-429b-8ec8-fb51b1dc2623","resolution":{"observed_at":"2026-08-15T17:44:15.401423Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":{"arxiv_id":"2607.14178","last_updated":"2026-07-27T06:26:29Z","snapshot_observed_at":"2026-08-15T16:36:45.613073Z","submitted_at":"2026-07-15T13:27:20Z","title":"ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System","version":2},"cited_work":{"arxiv_id":"2607.14178","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.14178","snapshot_observed_at":"2026-08-15T17:44:15.384190Z","title":"ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System","venue":"cs.AI","work_id":"67389990-0b30-4f60-be09-faf549e09b43","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.059561Z"},"links":{"cited_paper":"/paper/2607.14178","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:41c271fa6bb977d54c7a55497ed189bcf5932c64079696ca275cb409d8f61e9f","observation_id":"06231029-2dfd-465e-aae1-01960a0e76ba","resolution":{"observed_at":"2026-08-15T17:44:15.388124Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":{"arxiv_id":"2205.11491","last_updated":"2022-05-23T17:49:55Z","snapshot_observed_at":"2026-08-16T16:58:19.564175Z","submitted_at":"2022-05-23T17:49:55Z","title":"HyperTree Proof Search for Neural Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.11491","snapshot_observed_at":"2026-08-15T17:44:15.063070Z","title":"2205.11491 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.063070Z"},"links":{"cited_paper":"/paper/2205.11491","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:6316b9f148b2010f791e702c3e0e456f241fccc487706292e0f1596f82cd6fc2","observation_id":"c5b28dba-fb60-4179-88ee-d66e806b427d","resolution":{"observed_at":"2026-08-15T17:44:15.063070Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-16T14:54:25.321882Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-15T17:44:15.066582Z","title":"Proceedings of the 7th Conference on Artificial Intelligence and Theorem Proving , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.066582Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:3f025763c5682ac0cfb34a205a2dd81b0fdafd76406300915ad08acfa43d1e5a","observation_id":"0c8fe9f8-37ae-4800-aa4f-2daf498f9789","resolution":{"observed_at":"2026-08-15T17:44:15.066582Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-16T13:50:18.721796Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-15T17:44:15.069977Z","title":"2405.14333 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.069977Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:73c6b1775c7dca3bb251270c22951f8fed16bedb57bf5b9cd14172cd18a7445a","observation_id":"5cdbe9e5-b79d-4417-98d3-1c412a75b217","resolution":{"observed_at":"2026-08-15T17:44:15.069977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-08-02T11:46:58.603316Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-15T17:44:15.073575Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.073575Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:1f56f046d52b006ff4d2807de6d8b54174215f0acda752969ec10c6308d3eed2","observation_id":"5419c06b-35a0-4715-b635-e1edaa21f5fb","resolution":{"observed_at":"2026-08-15T17:44:15.073575Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.10040","last_updated":"2025-03-15T12:25:58Z","snapshot_observed_at":"2026-08-16T13:34:27.937520Z","submitted_at":"2024-07-14T01:43:07Z","title":"Lean-STaR: Learning to Interleave Thinking and Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.10040","snapshot_observed_at":"2026-08-15T17:44:15.077328Z","title":"2407.10040 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.077328Z"},"links":{"cited_paper":"/paper/2407.10040","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:de0b70b556d238824f677a7d43537454fd7256286e456349b88d8b09fcb2957c","observation_id":"8d9d11dd-c115-46c0-8653-3caf17093215","resolution":{"observed_at":"2026-08-15T17:44:15.077328Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-16T14:56:07.682640Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-15T17:44:15.080870Z","title":"2310.00656 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.080870Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:54e98dfcd85800d2d70e38f90b61844fe7fdd75e366951e56ce6a27fc78603e7","observation_id":"7f37d418-d502-4678-b1ad-d2769e9cf9be","resolution":{"observed_at":"2026-08-15T17:44:15.080870Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.26311","last_updated":"2026-04-29T05:35:02Z","snapshot_observed_at":"2026-07-06T23:12:01.813588Z","submitted_at":"2026-04-29T05:35:02Z","title":"DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent","version":1},"cited_work":{"arxiv_id":"2604.26311","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.26311","snapshot_observed_at":"2026-08-15T17:44:15.317438Z","title":"DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent","venue":"cs.AI","work_id":"3e80d3e3-ecc8-4948-8d25-e47d4584de9b","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.084183Z"},"links":{"cited_paper":"/paper/2604.26311","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:04e06086ccced7919bfaab9d4d1ebb75e872ac717d0e734bc0fca6bfa4094b25","observation_id":"0e09eb0e-5bad-4e6d-9968-4d6878dcd1ab","resolution":{"observed_at":"2026-08-15T17:44:15.321088Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":{"arxiv_id":"2604.15839","last_updated":"2026-04-17T08:40:48Z","snapshot_observed_at":"2026-08-11T07:11:17.330605Z","submitted_at":"2026-04-17T08:40:48Z","title":"Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4","version":1},"cited_work":{"arxiv_id":"2604.15839","doi":null,"metadata_source":"pith","pith_arxiv_id":"2604.15839","snapshot_observed_at":"2026-08-15T17:44:15.303756Z","title":"Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4","venue":"cs.AI","work_id":"ce0de538-fcf4-4fbc-b130-6791fa6fbe4b","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.087900Z"},"links":{"cited_paper":"/paper/2604.15839","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:48810af31fdc64c2a3ed340e651625e5fc9d033fa35ded2e7f8fcb30049cec87","observation_id":"b9690b2b-5191-4e21-abd3-37da046a7d80","resolution":{"observed_at":"2026-08-15T17:44:15.307671Z","resolver_source":"local_arxiv","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.672485Z","title":"2022 , eprint =","venue":null,"work_id":"c3c51129-2e4c-4b47-9e1a-4696034623a7","year":2022},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.091351Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:e6f976a6850876426de69775db94ec73138d2e4aa41cc89c5530a0eb34fc70bb","observation_id":"dfa940dc-4471-4a9b-a5dd-7643396799f5","resolution":{"observed_at":"2026-08-15T17:44:15.675756Z","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":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-16T15:53:03.437287Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-15T17:44:15.094714Z","title":"and Radev, Dragomir and Avigad, Jeremy , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.094714Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:5807ac1f000af681d49db7644d17040ac517dca6813c16ec901820d4838293b6","observation_id":"839f34fb-8ed7-4d2a-9470-dfba3daf1ac2","resolution":{"observed_at":"2026-08-15T17:44:15.094714Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.662318Z","title":"2023 , eprint =","venue":null,"work_id":"044124e8-4c72-478c-876e-98ab51306698","year":2023},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.098288Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:dd1b1c42817b853423d14bb78e0504845aa3c560ae7037b52dc875841607653c","observation_id":"449387b5-819b-4b77-a3a3-ac6aee427f68","resolution":{"observed_at":"2026-08-15T17:44:15.666006Z","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-15T17:44:15.651515Z","title":"2025 , eprint =","venue":null,"work_id":"87c075c4-94af-4e4f-a8da-e580945ed229","year":2025},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.101741Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:71fcebc33f4b6a09d43664aa5dd2cd9a6e45cdf060f3716223566504bdbf000b","observation_id":"7c570024-a33a-40b6-ac1c-12542dc0264e","resolution":{"observed_at":"2026-08-15T17:44:15.655441Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.105324Z","title":"2510.15981 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.105324Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:e249e7a0ee31237dd82bd755bb541835a81ef279a514d9e6cb4d81c7c9bebbb6","observation_id":"85c9f94e-d882-410c-8a5c-fc4e86979224","resolution":{"observed_at":"2026-08-15T17:44:15.105324Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.641881Z","title":"2026 , eprint =","venue":null,"work_id":"caef94a5-ec75-4d61-913d-7929029a4e98","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.108375Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:7c2dbad41502314ff00078585d6d145d7229f363c92ed6d49b4afeffe971e327","observation_id":"91873441-a008-428e-8d29-e57c3b71093e","resolution":{"observed_at":"2026-08-15T17:44:15.645159Z","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":{"arxiv_id":"2607.04655","last_updated":"2026-07-06T04:20:06Z","snapshot_observed_at":"2026-08-14T15:41:17.664637Z","submitted_at":"2026-07-06T04:20:06Z","title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization","version":1},"cited_work":{"arxiv_id":"2607.04655","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.04655","snapshot_observed_at":"2026-08-15T17:44:15.207402Z","title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization","venue":"cs.CL","work_id":"ac014d03-8b55-4423-b78b-12f4f0279353","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.111653Z"},"links":{"cited_paper":"/paper/2607.04655","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:4820481e91ca94c96c75d7761805ee5d5c25567d79e2d28d58e2a3dc1684f29b","observation_id":"abcf1ac9-50f2-4476-8f0a-fe9d185a9e38","resolution":{"observed_at":"2026-08-15T17:44:15.211758Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-15T17:44:15.632082Z","title":"2026 , eprint =","venue":null,"work_id":"e19d9756-47bd-49cc-9297-26b31fd589c3","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.114997Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:c007feeeab6a8171affb909541302abf6f54450fa1e3fb27bdb6a13b39968088","observation_id":"dd843cbe-b7ab-4cd0-9a57-31f934a6a5a2","resolution":{"observed_at":"2026-08-15T17:44:15.635353Z","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":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-15T10:43:17.057164Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00110","snapshot_observed_at":"2026-08-15T17:44:15.118013Z","title":"2109.00110 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.118013Z"},"links":{"cited_paper":"/paper/2109.00110","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:325a6bf9741bf9487d80f288e68ef61ad6bb1a686cc0b32b0055cc376c495420","observation_id":"d928b619-98fa-4a31-b224-bd3d3edc1afa","resolution":{"observed_at":"2026-08-15T17:44:15.118013Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.622085Z","title":"2024 , eprint =","venue":null,"work_id":"aa204662-fddc-43bd-bf63-a26218edf856","year":2024},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.121372Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:31870d6592aa275f0bab798d433f5f0a8c53906e631ceba9086812db9e7f12a0","observation_id":"83a3bcfe-8ead-41cb-a159-3028af171169","resolution":{"observed_at":"2026-08-15T17:44:15.625653Z","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":{"arxiv_id":"2605.28003","last_updated":"2026-05-27T05:54:41Z","snapshot_observed_at":"2026-08-14T11:01:05.882589Z","submitted_at":"2026-05-27T05:54:41Z","title":"ResearchMath-14K: Scaling Research-Level Mathematics via Agents","version":1},"cited_work":{"arxiv_id":"2605.28003","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.28003","snapshot_observed_at":"2026-08-15T17:44:15.182364Z","title":"ResearchMath-14K: Scaling Research-Level Mathematics via Agents","venue":"cs.CL","work_id":"648d8ff2-65c8-451e-842a-397862f46fc9","year":2026},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.124416Z"},"links":{"cited_paper":"/paper/2605.28003","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:cc23dbeb96a464c96d0da9437f9336d386e58a33b5df7aeabe09cbe71aacff77","observation_id":"b22cd5d1-a1e5-4339-9d38-b884e47da934","resolution":{"observed_at":"2026-08-15T17:44:15.188015Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":{"arxiv_id":"2602.02285","last_updated":"2026-06-10T14:35:31Z","snapshot_observed_at":"2026-08-14T08:48:35.692471Z","submitted_at":"2026-02-02T16:24:53Z","title":"AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.02285","snapshot_observed_at":"2026-08-15T17:44:15.127718Z","title":"and Liu, Fanghui , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.127718Z"},"links":{"cited_paper":"/paper/2602.02285","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:8557215a1523d5959d589d2c0e8d182cb3dea59dae164f71087d1c9c22c1e0fa","observation_id":"858f1dda-145d-4e0a-a9cb-4ca8508e3bda","resolution":{"observed_at":"2026-08-15T17:44:15.127718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.05400","last_updated":"2026-06-03T20:09:39Z","snapshot_observed_at":"2026-08-09T05:03:29.602227Z","submitted_at":"2026-06-03T20:09:39Z","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.05400","snapshot_observed_at":"2026-08-15T17:44:15.131397Z","title":"and Liu, Fanghui , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.131397Z"},"links":{"cited_paper":"/paper/2606.05400","citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:7cc5b9ef2f367ef8065c30ed9bfd698d2831c0bf2829d490091673f4470a873e","observation_id":"edc6d211-2db4-42d5-ae7e-ac567c3dab03","resolution":{"observed_at":"2026-08-15T17:44:15.131397Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T17:44:15.611698Z","title":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing , pages=","venue":null,"work_id":"83f26e22-496a-45f0-b7ea-ed2cd18688b6","year":null},"citing_paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-15T17:44:15.134570Z"},"links":{"citing_paper":"/paper/2608.13060"},"observation_digest":"sha256:1f3a383b9f112d49c350009b03326450c89a106afc2a91e66e38abd9c5424862","observation_id":"88959538-c24b-4e55-9521-0a1a9aee6b43","resolution":{"observed_at":"2026-08-15T17:44:15.615622Z","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"}}],"paper":{"arxiv_id":"2608.13060","last_updated":"2026-08-13T10:23:11Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T17:11:17.447592Z","submitted_at":"2026-08-13T10:23:11Z","title":"VALG: An Agentic System for ML Theory Research"},"reference_resolution":{"displayed":80,"state_counts":{"malformed_identifier":0,"metadata_mismatch":9,"parse_uncertain":0,"unresolved":31,"verified_exact":1,"verified_fuzzy":39},"total_outbound_references":80},"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 80 of 80 outbound references and 0 inbound Pith citation observations for arXiv:2608.13060."}