# Paper: Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics

---
type: paper
title: "Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics"
authors: Arshia Soltani Moakhar, Iman Gholami, Max Springer, Mahdi JafariRaviz, MohammadTaghi Hajiaghayi
year: 2026
venue: arXiv
url: https://arxiv.org/abs/2606.31134
code_url:
source: arxiv
collected_at: 2026-07-08
published_at: 2026-06-30
updated_at: 2026-07-01
status: queued
relevance: high
topics:
  - agent-evaluation
  - coding-agent
  - multi-agent
  - rag
  - reasoning
methods:
  -
benchmarks:
  -
models:
  -
datasets:
  - cs.AI
related_concepts:
  -
related_jobs:
  -
related_experiments:
  -
related_projects:
  -
collection_score: 16
collection_queries: multi-agent-llm
---

## One-line Takeaway

Auto-collected from arXiv because it matched the Agent collection queries. Needs human skim.

## Why Collected

- matched queries: multi-agent-llm
- inferred topics: agent-evaluation, coding-agent, multi-agent, rag, reasoning
- arXiv categories: cs.AI
- collection score: 16

## Review Checklist

- Does this paper directly inform Agent architecture, evaluation, memory, tools, safety, coding agents, GUI/browser agents, or multi-agent workflows?
- Does it include a benchmark, dataset, code, or reproducible experimental setup?
- Should it be promoted from `queued` to `skimmed` or `summarized`?

## Links

- arXiv: https://arxiv.org/abs/2606.31134