Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T17:44:15.134570Z
Paper Citation Record · LEDGER
VALG: An Agentic System for ML Theory Research
As of 18 August 2026, this Paper Citation Record lists 80 of 80 outbound references and 0 inbound Pith citation observations for arXiv:2608.13060.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
80 of 80 outbound references displayed
- verified exact1
- verified fuzzy39
- unresolved31
- parse uncertain0
- malformed identifier0
- metadata mismatch9
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 74f6ed6f-2ce5-4f52-ac62-bdc3d7a469b5 · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:16.054942Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2d1ee00d-fe61-4c4c-9628-694e5751f264 · outbound
This paper cites Pacific Journal of Mathematics , volume =.
VALG: An Agentic System for ML Theory Research Pacific Journal of Mathematics , volume =
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:16.045168Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 65d0f87d-0c94-4601-bea3-f3e0964ae36d · outbound
This paper cites Communications of the ACM , volume =.
VALG: An Agentic System for ML Theory Research Communications of the ACM , volume =
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:16.034798Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2ff23b64-aa22-4258-92c4-c7427d1665e5 · outbound
This paper cites Information and Computation , volume =.
VALG: An Agentic System for ML Theory Research Information and Computation , volume =
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:16.024267Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b1b68a5b-baad-443d-91be-1d45a325baa2 · outbound
This paper cites Information and Control , volume =.
VALG: An Agentic System for ML Theory Research Information and Control , volume =
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:16.014236Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5e14aaed-f186-427e-9c11-184d11d1124e · outbound
This paper cites an unresolved cited work.
VALG: An Agentic System for ML Theory Research Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.878106Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 35651fdb-79c3-4ec6-863f-28ac66b256d6 · outbound
This paper cites 2014 , doi =.
VALG: An Agentic System for ML Theory Research 2014 , doi =
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.997861Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 24331e6d-5184-468d-9010-4842b20406e8 · outbound
This paper cites 2019 , doi =.
VALG: An Agentic System for ML Theory Research 2019 , doi =
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.987418Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1790a9a4-aa87-4063-8ddb-141c92b891c5 · outbound
This paper cites 2023 , url =.
VALG: An Agentic System for ML Theory Research 2023 , url =
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.888746Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 736d915a-ab95-468d-b503-eeb6c6aa910e · outbound
This paper cites Advances in Neural Information Processing Systems , volume =.
VALG: An Agentic System for ML Theory Research Advances in Neural Information Processing Systems , volume =
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.892476Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation efb28a63-83c6-448f-b2d1-5e0a1a575cd5 · outbound
This paper cites Advances in Neural Information Processing Systems , volume =.
VALG: An Agentic System for ML Theory Research Advances in Neural Information Processing Systems , volume =
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.895909Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b82aede0-5f6d-4c8f-9f18-decca60c9fb0 · outbound
This paper cites The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery.
VALG: An Agentic System for ML Theory Research The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.899177Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8b3c7715-9582-4fc0-b908-a4f0648ef4ae · outbound
This paper cites Agent Laboratory: Using LLM Agents as Research Assistants.
VALG: An Agentic System for ML Theory Research Agent Laboratory: Using LLM Agents as Research Assistants
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.903220Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9da4a479-313f-4e71-b737-2c4226bb97ad · outbound
This paper cites Accelerating Scientific Discovery with.
VALG: An Agentic System for ML Theory Research Accelerating Scientific Discovery with
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.960811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4f0fc178-9d5c-4096-9224-1b83e2470f95 · outbound
This paper cites MLAgentBench: Evaluating Language Agents on Machine Learning Experimentation.
VALG: An Agentic System for ML Theory Research MLAgentBench: Evaluating Language Agents on Machine Learning Experimentation
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.910309Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f0a4b76-6793-4299-ba7f-c48c9ab9fa8a · outbound
This paper cites MLE-bench: Evaluating Machine Learning Agents on Machine Learning Engineering.
VALG: An Agentic System for ML Theory Research MLE-bench: Evaluating Machine Learning Agents on Machine Learning Engineering
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.914103Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b631cdce-8a01-4068-a59f-eb8bc494689e · outbound
This paper cites RE-Bench: Evaluating frontier AI R&D capabilities of language model agents against human experts.
VALG: An Agentic System for ML Theory Research RE-Bench: Evaluating frontier AI R&D capabilities of language model agents against human experts
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.918108Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c9be865-1226-4ad5-8cea-f631e07755db · outbound
This paper cites CORE-Bench: Fostering the Credibility of Published Research Through a Computational Reproducibility Agent Benchmark.
VALG: An Agentic System for ML Theory Research CORE-Bench: Fostering the Credibility of Published Research Through a Computational Reproducibility Agent Benchmark
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.922125Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c7dcfa0-fd5d-4670-90d6-e1366d2b8fe1 · outbound
This paper cites PaperBench: Evaluating AI's Ability to Replicate AI Research.
VALG: An Agentic System for ML Theory Research PaperBench: Evaluating AI's Ability to Replicate AI Research
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.925882Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b0c83d6f-9d4e-42f0-b034-c9b12ae9e9aa · outbound
This paper cites and Burns, Benjamin and Adu-Ampratwum, Daniel and Huang, Xuhui and Ning, Xia and Gao, Song and Su, Yu and Sun, Huan , booktitle =.
VALG: An Agentic System for ML Theory Research and Burns, Benjamin and Adu-Ampratwum, Daniel and Huang, Xuhui and Ning, Xia and Gao, Song and Su, Yu and Sun, Huan , booktitle =
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.951584Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e60e0089-8df0-43ad-863a-7cda5881c61b · outbound
This paper cites and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima , booktitle =.
VALG: An Agentic System for ML Theory Research and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima , booktitle =
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.942065Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 38d96188-d898-4d45-9572-b93cfcb17c1f · outbound
This paper cites OpenProver: Agentic and Interactive Theorem Proving with Lean 4.
VALG: An Agentic System for ML Theory Research OpenProver: Agentic and Interactive Theorem Proving with Lean 4
Reference 22
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.542442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 60a14c3e-ec20-4cc1-ac12-b8924815bd87 · outbound
This paper cites OProver: A Unified Framework for Agentic Formal Theorem Proving.
VALG: An Agentic System for ML Theory Research OProver: A Unified Framework for Agentic Formal Theorem Proving
Reference 23
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.528954Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6f77fe4b-c87e-4a2a-9c4c-d2febf9cc16c · outbound
This paper cites 2601.14027 , archiveprefix =.
VALG: An Agentic System for ML Theory Research 2601.14027 , archiveprefix =
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.943332Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c112ff2c-620c-450f-83b2-747a1d48cb2e · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.932491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 43bcde6c-90a3-4e8c-95b2-0c46ca010832 · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.923159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 05103b5d-e7de-4f44-bad1-55a06eb4e7bf · outbound
This paper cites QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems.
VALG: An Agentic System for ML Theory Research QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.952936Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9b133fd4-7783-4a61-ab48-d7660fbee2bc · outbound
This paper cites 2026 , url =.
VALG: An Agentic System for ML Theory Research 2026 , url =
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.913220Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d3c8b3dc-0fd0-4568-a2e1-19ed2cc63316 · outbound
This paper cites AI co-mathematician: Accelerating mathematicians with agentic AI.
VALG: An Agentic System for ML Theory Research AI co-mathematician: Accelerating mathematicians with agentic AI
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:14.959675Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bafe24b3-9733-42cb-b7f1-aa15798c5a91 · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.903357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b988f381-1f17-4518-a6dc-735ebf6befef · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.891941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation cd8b0fb0-1aab-421e-a7bf-ebaeb557ae2a · outbound
This paper cites Advances in Neural Information Processing Systems , volume =.
VALG: An Agentic System for ML Theory Research Advances in Neural Information Processing Systems , volume =
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.881045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e3d427de-e990-4fb4-ae1f-af019b2a1fca · outbound
This paper cites Proceedings of the 42nd International Conference on Machine Learning , pages =.
VALG: An Agentic System for ML Theory Research Proceedings of the 42nd International Conference on Machine Learning , pages =
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.869824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 22986918-5704-440a-8373-4fea9e5ba497 · outbound
This paper cites Orthogonalized.
VALG: An Agentic System for ML Theory Research Orthogonalized
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.857686Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e4c0fe2c-329b-4113-ae6f-9f8a4e527343 · outbound
This paper cites Approximate is Good Enough: Probabilistic Variants of Dimensional and Margin Complexity.
VALG: An Agentic System for ML Theory Research Approximate is Good Enough: Probabilistic Variants of Dimensional and Margin Complexity
Reference 35
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.438629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7e3961ae-127a-45db-8fa8-cc43fd0002b6 · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.847480Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9b77cfe1-d772-413e-8f1f-35185610e4c6 · outbound
This paper cites Invited Open Problem: Online Optimization of Piecewise-.
VALG: An Agentic System for ML Theory Research Invited Open Problem: Online Optimization of Piecewise-
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.837489Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 270ed6b0-17af-482d-8989-9d673f48cbd0 · outbound
This paper cites Invited Open Problem: Does Differential Privacy Make.
VALG: An Agentic System for ML Theory Research Invited Open Problem: Does Differential Privacy Make
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.826615Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 93d84522-a367-4389-81a9-bedcefe648f7 · outbound
This paper cites Open Problem: How Much Overparametrization Is Needed for.
VALG: An Agentic System for ML Theory Research Open Problem: How Much Overparametrization Is Needed for
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.815738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d63f9fb1-8189-4b6d-8501-858858ba05e8 · outbound
This paper cites Proceedings of the Thirty-Ninth Conference on Learning Theory , pages =.
VALG: An Agentic System for ML Theory Research Proceedings of the Thirty-Ninth Conference on Learning Theory , pages =
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.804167Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6d52fc5c-7511-4ccd-9e84-96220256fe2a · outbound
This paper cites Proceedings of the Thirty-Ninth Conference on Learning Theory , pages =.
VALG: An Agentic System for ML Theory Research Proceedings of the Thirty-Ninth Conference on Learning Theory , pages =
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.792623Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3a79f372-d45e-4af2-82e4-c3f629ce0f24 · outbound
This paper cites Journal of Machine Learning Research , volume=.
VALG: An Agentic System for ML Theory Research Journal of Machine Learning Research , volume=
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.003855Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 52e6f317-6d52-488f-82c5-d5c74da3504d · outbound
This paper cites Journal of Privacy and Confidentiality , volume=.
VALG: An Agentic System for ML Theory Research Journal of Privacy and Confidentiality , volume=
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.007146Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d923b5f3-870e-4838-a6fb-772c33438852 · outbound
This paper cites Machine learning , volume=.
VALG: An Agentic System for ML Theory Research Machine learning , volume=
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.010673Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7d597466-f10b-460b-ad4a-6ce1179c2dad · outbound
This paper cites Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing , pages=.
VALG: An Agentic System for ML Theory Research Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing , pages=
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.765267Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 711bcf19-35f3-4c84-b965-2105ad5e6736 · outbound
This paper cites 2025 , eprint =.
VALG: An Agentic System for ML Theory Research 2025 , eprint =
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.755358Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1aaf2b48-881b-432c-9c15-4a8627343aa6 · outbound
This paper cites 2025 , eprint =.
VALG: An Agentic System for ML Theory Research 2025 , eprint =
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.746042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8a21f092-edd5-4617-a507-3b70a6c890f0 · outbound
This paper cites SIAM Journal on Matrix Analysis and Applications , volume =.
VALG: An Agentic System for ML Theory Research SIAM Journal on Matrix Analysis and Applications , volume =
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.736389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4890cd26-96da-4e8e-a405-362ed221ae3a · outbound
This paper cites Advancing Mathematics by Guiding Human Intuition with.
VALG: An Agentic System for ML Theory Research Advancing Mathematics by Guiding Human Intuition with
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.028722Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 59aba96b-8264-4afd-ab91-f0f53ff78fb8 · outbound
This paper cites Nature , volume =.
VALG: An Agentic System for ML Theory Research Nature , volume =
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.720101Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 17c89eb7-4dde-47df-8f70-245b9034fa1c · outbound
This paper cites Nature , volume =.
VALG: An Agentic System for ML Theory Research Nature , volume =
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.035538Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 269f9736-dabf-40da-aa04-d2e6f1ebfb7a · outbound
This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.
VALG: An Agentic System for ML Theory Research AlphaEvolve: A coding agent for scientific and algorithmic discovery
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.038834Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c398b46a-bd25-4487-8d82-84993d59ac2d · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.704385Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d0ae6d17-049f-4831-bd87-728585889ce6 · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.695283Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 752d9503-5e18-440f-a53e-6b45cc8842d5 · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.685373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 03e186dd-b43f-4a5c-9bf9-4f1188c65da0 · outbound
This paper cites RMA: an Agentic System for Research-Level Mathematical Problems.
VALG: An Agentic System for ML Theory Research RMA: an Agentic System for Research-Level Mathematical Problems
Reference 56
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.414988Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ccee2fd9-d689-429b-8ec8-fb51b1dc2623 · outbound
This paper cites MechMath Agent Team: LLM Driven Agents for Mathematical Research.
VALG: An Agentic System for ML Theory Research MechMath Agent Team: LLM Driven Agents for Mathematical Research
Reference 57
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.401423Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 06231029-2dfd-465e-aae1-01960a0e76ba · outbound
This paper cites ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System.
VALG: An Agentic System for ML Theory Research ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System
Reference 58
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.388124Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c5b28dba-fb60-4179-88ee-d66e806b427d · outbound
This paper cites HyperTree Proof Search for Neural Theorem Proving.
VALG: An Agentic System for ML Theory Research HyperTree Proof Search for Neural Theorem Proving
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.063070Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0c8fe9f8-37ae-4800-aa4f-2daf498f9789 · outbound
This paper cites An In-Context Learning Agent for Formal Theorem-Proving.
VALG: An Agentic System for ML Theory Research An In-Context Learning Agent for Formal Theorem-Proving
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.066582Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5cdbe9e5-b79d-4417-98d3-1c412a75b217 · outbound
This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
VALG: An Agentic System for ML Theory Research DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.069977Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5419c06b-35a0-4715-b635-e1edaa21f5fb · outbound
This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.
VALG: An Agentic System for ML Theory Research DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.073575Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d9d11dd-c115-46c0-8653-3caf17093215 · outbound
This paper cites Lean-STaR: Learning to Interleave Thinking and Proving.
VALG: An Agentic System for ML Theory Research Lean-STaR: Learning to Interleave Thinking and Proving
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.077328Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7f37d418-d502-4678-b1ad-d2769e9cf9be · outbound
This paper cites LEGO-Prover: Neural Theorem Proving with Growing Libraries.
VALG: An Agentic System for ML Theory Research LEGO-Prover: Neural Theorem Proving with Growing Libraries
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.080870Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e09eb0e-5bad-4e6d-9968-4d6878dcd1ab · outbound
This paper cites DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent.
VALG: An Agentic System for ML Theory Research DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
Reference 65
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.321088Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b9690b2b-5191-4e21-abd3-37da046a7d80 · outbound
This paper cites Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4.
VALG: An Agentic System for ML Theory Research Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
Reference 66
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T17:44:15.307671Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dfa940dc-4471-4a9b-a5dd-7643396799f5 · outbound
This paper cites 2022 , eprint =.
VALG: An Agentic System for ML Theory Research 2022 , eprint =
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.675756Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 839f34fb-8ed7-4d2a-9470-dfba3daf1ac2 · outbound
This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.
VALG: An Agentic System for ML Theory Research ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.094714Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 449387b5-819b-4b77-a3a3-ac6aee427f68 · outbound
This paper cites 2023 , eprint =.
VALG: An Agentic System for ML Theory Research 2023 , eprint =
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.666006Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7c570024-a33a-40b6-ac1c-12542dc0264e · outbound
This paper cites 2025 , eprint =.
VALG: An Agentic System for ML Theory Research 2025 , eprint =
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.655441Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 85c9f94e-d882-410c-8a5c-fc4e86979224 · outbound
This paper cites 2510.15981 , archiveprefix =.
VALG: An Agentic System for ML Theory Research 2510.15981 , archiveprefix =
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.105324Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 91873441-a008-428e-8d29-e57c3b71093e · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.645159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation abcf1ac9-50f2-4476-8f0a-fe9d185a9e38 · outbound
This paper cites FormalRx: Rectify and eXamine Semantic Failures in Autoformalization.
VALG: An Agentic System for ML Theory Research FormalRx: Rectify and eXamine Semantic Failures in Autoformalization
Reference 73
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.211758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation dd843cbe-b7ab-4cd0-9a57-31f934a6a5a2 · outbound
This paper cites 2026 , eprint =.
VALG: An Agentic System for ML Theory Research 2026 , eprint =
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.635353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d928b619-98fa-4a31-b224-bd3d3edc1afa · outbound
This paper cites MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.
VALG: An Agentic System for ML Theory Research MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Reference 75
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.118013Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83a3bcfe-8ead-41cb-a159-3028af171169 · outbound
This paper cites 2024 , eprint =.
VALG: An Agentic System for ML Theory Research 2024 , eprint =
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.625653Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b22cd5d1-a1e5-4339-9d38-b884e47da934 · outbound
This paper cites ResearchMath-14K: Scaling Research-Level Mathematics via Agents.
VALG: An Agentic System for ML Theory Research ResearchMath-14K: Scaling Research-Level Mathematics via Agents
Reference 77
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T17:44:15.188015Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 858f1dda-145d-4e0a-a9cb-4ca8508e3bda · outbound
This paper cites AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory.
VALG: An Agentic System for ML Theory Research AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
Reference 78
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.127718Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation edc6d211-2db4-42d5-ae7e-ac567c3dab03 · outbound
This paper cites LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization.
VALG: An Agentic System for ML Theory Research LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Reference 79
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T17:44:15.131397Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 88959538-c24b-4e55-9521-0a1a9aee6b43 · outbound
This paper cites Proceedings of the 58th Annual ACM Symposium on Theory of Computing , pages=.
VALG: An Agentic System for ML Theory Research Proceedings of the 58th Annual ACM Symposium on Theory of Computing , pages=
Reference 80
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T17:44:15.615622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Pith citing papers
No inbound Pith citation observations are available.