VALG: An Agentic System for ML Theory Research | Paper Citation Record

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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers