Cover Image

TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tao, Yicheng, Xu, Hongteng
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
by: Tao, Yicheng, et al.
Published: (2025)

Klear-AgentForge: Forging Agentic Intelligence through Posttraining Scaling
by: Wang, Qi, et al.
Published: (2025)

AutoForge: Automated Environment Synthesis for Agentic Reinforcement Learning
by: Cai, Shihao, et al.
Published: (2025)

On Time, Within Budget: Constraint-Driven Online Resource Allocation for Agentic Workflows
by: Wang, Xinglin, et al.
Published: (2026)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
by: Lin, Yong, et al.
Published: (2025)

OProver: A Unified Framework for Agentic Formal Theorem Proving
by: Ma, David, et al.
Published: (2026)

Infinite Problem Generator: Verifiably Scaling Physics Reasoning Data with Agentic Workflows
by: Sharan, Aditya, et al.
Published: (2026)

GraphFlow: An Architecture for Formally Verifiable Visual Workflows Enabling Reliable Agentic AI Automation
by: Morris V, Drewry H., et al.
Published: (2026)

Agentics 2.0: Logical Transduction Algebra for Agentic Data Workflows
by: Gliozzo, Alfio Massimiliano, et al.
Published: (2026)

ProfiliTable: Profiling-Driven Tabular Data Processing via Agentic Workflows
by: Liu, Wei, et al.
Published: (2026)

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis
by: Peng, Zedong, et al.
Published: (2025)

Robust Graph Matching Using An Unbalanced Hierarchical Optimal Transport Framework
by: Cheng, Haoran, et al.
Published: (2023)

A Sober Look at Agentic Misalignment in Automated Workflows
by: Ye, Wenqian, et al.
Published: (2026)

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
by: Bai, Yunsheng, et al.
Published: (2025)

WebShaper: Agentically Data Synthesizing via Information-Seeking Formalization
by: Tao, Zhengwei, et al.
Published: (2025)

ReQFlow: Rectified Quaternion Flow for Efficient and High-Quality Protein Backbone Generation
by: Yue, Angxiao, et al.
Published: (2025)

GeoDecider: A Coarse-to-Fine Agentic Workflow for Explainable Lithology Classification
by: Wang, Jiahao, et al.
Published: (2026)

QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks
by: Hu, Yaojie, et al.
Published: (2025)

Procedural Knowledge Improves Agentic LLM Workflows
by: Hsiao, Vincent, et al.
Published: (2025)

Structured Agentic Workflows for Financial Time-Series Modeling with LLMs and Reflective Feedback
by: Ang, Yihao, et al.
Published: (2025)

HyEvo: Self-Evolving Hybrid Agentic Workflows for Efficient Reasoning
by: Xu, Beibei, et al.
Published: (2026)

An Agentic AI Workflow for Detecting Cognitive Concerns in Real-world Data
by: Tian, Jiazi, et al.
Published: (2025)

Evolution of AI in Education: Agentic Workflows
by: Kamalov, Firuz, et al.
Published: (2025)

Agentic Mixture-of-Workflows for Multi-Modal Chemical Search
by: Callahan, Tiffany J., et al.
Published: (2025)

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
by: Uluşan, Zeynel A., et al.
Published: (2026)

CellForge: Agentic Design of Virtual Cell Models
by: Tang, Xiangru, et al.
Published: (2025)

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
by: Misu, Md Rakib Hossain, et al.
Published: (2026)

Efficient LLM Serving for Agentic Workflows: A Data Systems Perspective
by: Wadlom, Noppanat, et al.
Published: (2026)

Revisiting Counterfactual Regression through the Lens of Gromov-Wasserstein Information Bottleneck
by: Yang, Hao, et al.
Published: (2024)

Formal Foundations of Agentic Business Process Management
by: De Giacomo, Giuseppe, et al.
Published: (2026)

C$^2$GSPG: Confidence-calibrated Group Sequence Policy Gradient towards Self-aware Reasoning
by: Liu, Haotian, et al.
Published: (2025)

Explainable Model Routing for Agentic Workflows
by: Okamoto, Mika, et al.
Published: (2026)

From Intent to Execution: Composing Agentic Workflows with Agent Recommendation
by: Athrey, Kishan, et al.
Published: (2026)

JudgeFlow: Agentic Workflow Optimization via Block Judge
by: Ma, Zihan, et al.
Published: (2026)

EvoAgentX: An Automated Framework for Evolving Agentic Workflows
by: Wang, Yingxu, et al.
Published: (2025)

MedDCR: Learning to Design Agentic Workflows for Medical Coding
by: Zheng, Jiyang, et al.
Published: (2025)

Mathesis: Towards Formal Theorem Proving from Natural Languages
by: Xuejun, Yu, et al.
Published: (2025)

Optimizing Agentic Workflows using Meta-tools
by: Abuzakuk, Sami, et al.
Published: (2026)

WGFormer: An SE(3)-Transformer Driven by Wasserstein Gradient Flows for Molecular Ground-State Conformation Prediction
by: Wang, Fanmeng, et al.
Published: (2024)

Agentic AI-based Coverage Closure for Formal Verification
by: Pothireddypalli, Sivaram, et al.
Published: (2026)