Cover Image

An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zadorojniy, Alexander, Wasserkrug, Segev, Farchi, Eitan
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

Automated Validation of LLM-based Evaluators for Software Engineering Artifacts
by: Fandina, Ora Nova, et al.
Published: (2025)

Technique to Baseline QE Artefact Generation Aligned to Quality Metrics
by: Farchi, Eitan, et al.
Published: (2025)

PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code
by: Dreyfuss, Itay, et al.
Published: (2025)

Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
by: Fandina, Ora Nova, et al.
Published: (2025)

Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls
by: Fandina, Ora Nova, et al.
Published: (2025)

CodeSift: An LLM-Based Reference-Less Framework for Automatic Code Validation
by: Aggarwal, Pooja, et al.
Published: (2024)

Effective Technical Reviews
by: Ballentine, Scott, et al.
Published: (2024)

Quality Engineering for Agile and DevOps on the Cloud and Edge
by: Farchi, Eitan, et al.
Published: (2023)

A Practical Approach to Combinatorial Test Design
by: Farchi, Eitan, et al.
Published: (2024)

Automatic Generation of Benchmarks and Reliable LLM Judgment for Code Tasks
by: Farchi, Eitan, et al.
Published: (2024)

RefAgent: A Multi-agent LLM-based Framework for Automatic Software Refactoring
by: Oueslati, Khouloud, et al.
Published: (2025)

Governance by Construction for Generalist Agents
by: Shlomov, Segev, et al.
Published: (2026)

JTPRO: A Joint Tool-Prompt Reflective Optimization Framework for Language Agents
by: Ghoshal, Sandip, et al.
Published: (2026)

Multimodal Auto Validation For Self-Refinement in Web Agents
by: Azam, Ruhana, et al.
Published: (2024)

A Self-Healing Framework for Reliable LLM-Based Autonomous Agents
by: Jeong, Cheonsu, et al.
Published: (2026)

MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution
by: Tao, Wei, et al.
Published: (2024)

MAO: A Framework for Process Model Generation with Multi-Agent Orchestration
by: Lin, Leilei, et al.
Published: (2024)

Automatically Generating Web Applications from Requirements Via Multi-Agent Test-Driven Development
by: Wan, Yuxuan, et al.
Published: (2025)

Learning Correct Behavior from Examples: Validating Sequential Execution in Autonomous Agents
by: Sharma, Reshabh K, et al.
Published: (2026)

AgenticTCAD: A LLM-based Multi-Agent Framework for Automated TCAD Code Generation and Device Optimization
by: Fan, Guangxi, et al.
Published: (2025)

An Empirical Study of Agent Developer Practices in AI Agent Frameworks
by: Wang, Yanlin, et al.
Published: (2025)

AgentTrace: A Structured Logging Framework for Agent System Observability
by: AlSayyad, Adam, et al.
Published: (2026)

Rethinking the Role of Entropy in Optimizing Tool-Use Behaviors for Large Language Model Agents
by: Li, Zeping, et al.
Published: (2026)

The Expert Validation Framework (EVF): Enabling Domain Expert Control in AI Engineering
by: Gren, Lucas, et al.
Published: (2026)

PromptPex: Automatic Test Generation for Language Model Prompts
by: Sharma, Reshabh K, et al.
Published: (2025)

irace-evo: Automatic Algorithm Configuration Extended With LLM-Based Code Evolution
by: Sartori, Camilo Chacón, et al.
Published: (2025)

Automatic Identification of Parallelizable Loops Using Transformer-Based Source Code Representations
by: Correia, Izavan dos S., et al.
Published: (2026)

Large Language Model-Based Agents for Software Engineering: A Survey
by: Liu, Junwei, et al.
Published: (2024)

Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization
by: Peng, Huiyun, et al.
Published: (2026)

WebChecker: A Versatile EVL Plugin for Validating HTML Pages with Bootstrap Frameworks
by: Cherukuri, Milind
Published: (2025)

From User Interface to Agent Interface: Efficiency Optimization of UI Representations for LLM Agents
by: Ran, Dezhi, et al.
Published: (2025)

NARRepair: Non-Autoregressive Code Generation Model for Automatic Program Repair
by: Yang, Zhenyu, et al.
Published: (2024)

Automatically Generating UI Code from Screenshot: A Divide-and-Conquer-Based Approach
by: Wan, Yuxuan, et al.
Published: (2024)

AgentForge: Execution-Grounded Multi-Agent LLM Framework for Autonomous Software Engineering
by: Kumar, Rajesh, et al.
Published: (2026)

Large Language Models for Validating Network Protocol Parsers
by: Zheng, Mingwei, et al.
Published: (2025)

ArchISMiner: A Framework for Automatic Mining of Architectural Issue-Solution Pairs from Online Developer Communities
by: de Dieu, Musengamana Jean, et al.
Published: (2025)

Automatic Red Teaming LLM-based Agents with Model Context Protocol Tools
by: He, Ping, et al.
Published: (2025)

Evolving Excellence: Automated Optimization of LLM-based Agents
by: Brookes, Paul, et al.
Published: (2025)

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
by: Bouzenia, Islem, et al.
Published: (2024)