Embodied CAD: Solver-Grounded LLM Agents for Parametric B-Rep Assembly Modeling
Summary
Presents Embodied CAD, a closed-loop framework that grounds LLM agents in a CAD execution environment for parametric B-Rep assembly modeling, using solver feedback for planning and refinement.
View Cached Full Text
Cached at: 07/01/26, 05:37 AM
# Embodied CAD: Solver-Grounded LLM Agents for Parametric B-Rep Assembly Modeling
Source: [https://arxiv.org/html/2606.31252](https://arxiv.org/html/2606.31252)
Fumin Liu Haoyu Zhou Fei Hao Lin Yang Nanjing University 602025710018@smail\.nju\.edu\.cn; haoyu\.max@gmail\.com 6020250201012@smail\.nju\.edu\.cn; linyang@nju\.edu\.cn
###### Abstract
Large language models can write plausible CAD scripts, but reliable industrial CAD modeling requires more than syntactically valid code: every feature, placement, and assembly relation must be accepted by an exact geometric kernel while remaining editable as parametric boundary representation geometry\. We present Embodied CAD, a closed\-loop framework that grounds an LLM agent in a CAD execution environment\. Instead of generating a complete script in one pass, the agent iteratively selects actions from a stratified L0–L4 CAD skill library, resolves them into typed geometric operations, executes them in a CAD backend, and uses solver feedback to plan, repair, and learn\. The framework combines operation\-family prediction, deterministic parameter resolution, and solver\-derived rewards for supervised warm\-up and GRPO\-style refinement\. We evaluate Embodied CADon multi\-step mechanical, industrial\-equipment, and mold\-oriented assembly tasks using solver\-aligned metrics: executable rate, skill accuracy, operation\-family accuracy, exact policy accuracy, task completion, and FreeCAD execution success\. The results show that solver\-grounded planning executes all strong\-planner workflows in the current benchmark, while learned controllers reach high executable rates and expose the remaining gap between valid tool calls and exact long\-horizon policy prediction\.
## 1Introduction
Large language models \(LLMs\) have made rapid progress in program synthesis, tool use, and interactive software automation\(Ouyanget al\.,[2022](https://arxiv.org/html/2606.31252#bib.bib1); Yaoet al\.,[2023](https://arxiv.org/html/2606.31252#bib.bib2); Schicket al\.,[2023](https://arxiv.org/html/2606.31252#bib.bib3); Madaanet al\.,[2023](https://arxiv.org/html/2606.31252#bib.bib4); Shinnet al\.,[2023](https://arxiv.org/html/2606.31252#bib.bib5)\)\. Computer\-aided design \(CAD\), however, remains a difficult target for autonomous generation\. A useful engineering CAD artifact is not just a visually plausible mesh\. It must be represented as editable parametric B\-Rep geometry, respect dimensional and topological constraints, preserve feature dependencies, and compose multiple parts through precise assembly relations\.
This gap is especially visible in long assembly workflows\. An LLM may emit syntactically valid CadQuery or FreeCAD code while placing a cutter in the wrong coordinate frame, selecting a stale local face, duplicating repeated holes with an incorrect offset, or stacking components at the origin\. These errors are often invisible at the token level but fatal at the CAD\-kernel level\. Existing sequence, sketch, and text\-to\-CAD systems have shown strong progress on part\-level modeling and command generation\(Wuet al\.,[2021](https://arxiv.org/html/2606.31252#bib.bib6); Xuet al\.,[2022](https://arxiv.org/html/2606.31252#bib.bib7); Khanet al\.,[2024](https://arxiv.org/html/2606.31252#bib.bib8); Doriset al\.,[2025](https://arxiv.org/html/2606.31252#bib.bib9); Guanet al\.,[2025](https://arxiv.org/html/2606.31252#bib.bib10)\), yet industrial assemblies require a different form of grounding: the model must repeatedly act in, inspect, and recover from an exact geometric environment\.
Embodied CAD addresses this problem by treating CAD generation as closed\-loop embodied tool use\. The agent receives a natural\-language specification and a structured parameter set, chooses the next CAD skill, executes it through a deterministic backend, observes solver feedback, and continues until the assembly is complete\. The framework follows the loop
Intent→\\rightarrowSkill Planning→\\rightarrowCAD Execution→\\rightarrowSolver Feedback→\\rightarrowReflection / Policy Update\.
The key design choice is to constrain the model to semantically meaningful CAD skills while leaving fragile geometric bookkeeping to deterministic resolvers and the CAD solver\.
The paper makes four contributions\. First, we formulate autonomous parametric assembly modeling as a solver\-grounded skill\-trajectory problem rather than open\-loop script generation\. Second, we design an L0–L4 CAD skill hierarchy that spans workspace operations, primitive construction, feature machining, spatial assembly, and domain\-level macros\. Third, we introduce operation\-family resolution and solver\-derived feedback as a bridge between LLM planning and exact B\-Rep execution\. Fourth, we evaluate the framework on multi\-category industrial assembly tasks with solver\-aligned metrics and report both quantitative controller performance and qualitative construction traces\.
Figure 1:Overview of Embodied CAD\. The LLM planner predicts skill\-level actions or operation families\. A deterministic resolver instantiates typed arguments, the skill executor calls the CAD backend, and the solver returns execution diagnostics\. The same feedback supports online repair and training rewards\.Figure 2:Step\-wise PhyClaw construction snapshots for three representative strong\-planner workflows: a press machine, a mold\-core insert, and a cooling\-tower workflow whose early checkpoints emphasize the lower module before the final 175\-step assembly\. Each row uses the same number of solver\-checked stages to show base geometry, repeated feature construction, and the final editable state\.Figure 3:FreeCAD\-normalized same\-prompt qualitative comparison\. PhyClaw outputs are executable skill workflows; ArtiCAD\-style and TOOLCAD\-style columns are paper\-inspired proxy baselines rendered through the same FreeCAD viewer for visual style consistency\. The proxy columns compare visual feature coverage and are not official executable reproductions\.Figure 4:Mold\-core insert construction snapshots for the current strong\-planner POC path\. The same parameterized workflow supports fast regeneration after user edits to shaft radii, rib count, and segment layout\.
## 2Related Work
Parametric CAD generation\.Large CAD datasets and sequence models have made parametric CAD generation a practical learning problem\. ABC provides a large B\-Rep\-oriented corpus for geometric learning\(Kochet al\.,[2019](https://arxiv.org/html/2606.31252#bib.bib11)\); the Fusion 360 Gallery dataset exposes human design histories for programmatic CAD construction\(Williset al\.,[2021](https://arxiv.org/html/2606.31252#bib.bib12)\)\. DeepCAD models CAD commands as a sequence generation problem\(Wuet al\.,[2021](https://arxiv.org/html/2606.31252#bib.bib6)\), SkexGen improves sequence generation with disentangled codebooks\(Xuet al\.,[2022](https://arxiv.org/html/2606.31252#bib.bib7)\), and Text2CAD maps natural language to CAD command sequences\(Khanet al\.,[2024](https://arxiv.org/html/2606.31252#bib.bib8)\)\. Recent CAD\-code systems further explore vision\- and text\-conditioned code generation\(Doriset al\.,[2025](https://arxiv.org/html/2606.31252#bib.bib9); Guanet al\.,[2025](https://arxiv.org/html/2606.31252#bib.bib10)\)\. In contrast, Embodied CAD does not ask the model to emit an entire CAD program in one pass\. It constrains generation to solver\-checked skill trajectories whose intermediate states can be inspected and repaired\.
B\-Rep learning and executable structure\.Engineering CAD models contain topology, analytic surfaces, curves, feature history, and constraints that are not captured by visual surface similarity alone\. BRepNet performs topological message passing over solid models\(Lambourneet al\.,[2021](https://arxiv.org/html/2606.31252#bib.bib13)\); UV\-Net learns from parametric curve and surface domains\(Jayaramanet al\.,[2021](https://arxiv.org/html/2606.31252#bib.bib14)\); SolidGen and BRepGen target direct boundary\-representation synthesis\(Jayaramanet al\.,[2022](https://arxiv.org/html/2606.31252#bib.bib15); Xuet al\.,[2024](https://arxiv.org/html/2606.31252#bib.bib16)\)\. Programmatic approaches such as CSGNet and ShapeAssembly show the value of explicit executable structure\(Sharmaet al\.,[2018](https://arxiv.org/html/2606.31252#bib.bib17); Joneset al\.,[2020](https://arxiv.org/html/2606.31252#bib.bib18)\)\. Embodied CAD shares this preference for executable structure but focuses on long, editable assembly workflows in which each intermediate CAD state is validated by a solver\.
Assembly generation and tool\-using agents\.Assembly modeling adds repeated parts, joint relations, and spatial constraints beyond single\-part generation\. JoinABLe studies bottom\-up assembly of parametric CAD joints\(Williset al\.,[2022](https://arxiv.org/html/2606.31252#bib.bib19)\)\. Tool\-augmented CAD systems, including CAD\-Assistant, ArtiCAD, and TOOLCAD, connect foundation models to CAD tools or tool\-use training pipelines\(Malliset al\.,[2025](https://arxiv.org/html/2606.31252#bib.bib20); Shuiet al\.,[2026](https://arxiv.org/html/2606.31252#bib.bib21); Gonget al\.,[2026](https://arxiv.org/html/2606.31252#bib.bib22)\)\. Our work is closest to these tool\-augmented systems, but emphasizes typed skill calls, operation\-family resolution, and solver\-aligned evaluation rather than visual\-only judging\.
## 3Problem Formulation
Given an industrial modeling requestxxand a parameter setpp, the goal is to produce an executable trajectory
τ=\(a1,…,aT\),at=\(ℓt,ft,θt\),\\tau=\(a\_\{1\},\\ldots,a\_\{T\}\),\\qquad a\_\{t\}=\(\\ell\_\{t\},f\_\{t\},\\theta\_\{t\}\),\(1\)whereℓt\\ell\_\{t\}is the skill level,ftf\_\{t\}is a skill or operation family, andθt\\theta\_\{t\}contains typed arguments\. A CAD kernelKKdeterministically updates the state:
st=K\(st−1,at\)\.s\_\{t\}=K\(s\_\{t\-1\},a\_\{t\}\)\.\(2\)A trajectory is solver\-feasible if every action executes without kernel error and the final state satisfies task\-specific checks such as valid solids, expected components, bounding boxes, feature counts, and assembly completion\. The central challenge is thatθt\\theta\_\{t\}often depends on the current geometric state: a hole center, chamfer target, mirrored instance, or repeated fastener index must be selected consistently with previous operations\.
Embodied CAD separates this problem into planning, resolution, and execution\. The LLM predicts high\-level skills or operation families; deterministic modules derive geometry\-dependent arguments; the CAD backend executes each skill; and the feedback is returned to the planner and to the learning objective\. This separation reduces hallucinated coordinates and makes failure modes observable\.
## 4Method
### 4\.1Closed\-Loop Architecture
Figure[1](https://arxiv.org/html/2606.31252#S1.F1)summarizes the architecture\. The planner observes the user intent, parameters, construction history, and solver feedback\. It selects the next skill or operation family\. The resolver maps reusable operation families, such asbuild\_pin\_bodyorcut\_hole\_grid, to concrete instance identifiers and typed parameters\. The executor dispatches the resolved call to the CAD backend\. The solver returns structured feedback, including success or failure, object names, validity checks, volumes, bounding boxes, and topology summaries when available\.
Algorithm 1Closed\-loop CAD skill execution1:Initialize CAD state
s0s\_\{0\}from intent
xxand parameters
pp\.
2:for
t=1,…,Tt=1,\\ldots,Tdo
3:Planner proposes skill or operation family
ftf\_\{t\}\.
4:Resolver derives typed arguments
θt\\theta\_\{t\}from
st−1s\_\{t\-1\}\.
5:Execute
at=\(ℓt,ft,θt\)a\_\{t\}=\(\\ell\_\{t\},f\_\{t\},\\theta\_\{t\}\)with CAD kernel
KK\.
6:Collect solver feedback
oto\_\{t\}from the resulting state
sts\_\{t\}\.
7:ifexecution failsthen
8:revise
ftf\_\{t\}or
θt\\theta\_\{t\}using
oto\_\{t\}and retry within budget\.
9:endif
10:endfor
11:Return the final parametric B\-Rep assembly and trajectory log\.
### 4\.2Skill Stratification
A raw CAD scripting space is too large for reliable long\-horizon LLM planning\. We therefore organize actions into five levels \(Table[1](https://arxiv.org/html/2606.31252#S4.T1)\)\. The hierarchy keeps the model’s choices close to engineering operations while preserving enough expressivity to build multi\-part assemblies\.
Table 1:L0–L4 skill hierarchy used by Embodied CAD\. The hierarchy constrains the action space while keeping operations interpretable and editable\.
### 4\.3Operation Families and Deterministic Resolution
Industrial assemblies contain repeated structures: balls in bearings, pins in manifolds, screws in mold plates, guide posts in press machines, and ribs on shafts\. Directly predicting instance\-specific operation keys entangles semantic intent with fragile indexing\. We instead ask the model to predict operation families\. The controller resolves a family into the next valid instance using construction state, counters, symmetry rules, and derived geometry\. This design preserves the agentic planning role of the LLM while moving coordinate\-sensitive computations into deterministic modules\.
For example, after the planner predicts a family such asplace\_guide\_post, the resolver determines which post is next, retrieves the corresponding plate corner, computes the local axis and clearance, and produces the typed skill call\. The solver then checks whether the post intersects the expected plate stack and whether the resulting solid remains valid\. Failures are returned as structured feedback rather than hidden in a failed final script\.
### 4\.4Learning from Solver Feedback
We use solver feedback in two ways\. First, supervised fine\-tuning warms up the planner on validated trajectories\. Second, GRPO\-style refinement samples multiple candidate actions for the same state and scores them with a structured reward:
R=wfRformat\+wpRpolicy\+weRexec\.R=w\_\{f\}R\_\{\\mathrm\{format\}\}\+w\_\{p\}R\_\{\\mathrm\{policy\}\}\+w\_\{e\}R\_\{\\mathrm\{exec\}\}\.\(3\)HereRformatR\_\{\\mathrm\{format\}\}checks whether the model emits a parseable action block,RpolicyR\_\{\\mathrm\{policy\}\}checks whether the selected skill or operation family matches the expected transition, andRexecR\_\{\\mathrm\{exec\}\}measures whether the resolved action executes successfully in the CAD backend\. The relative reward within each group updates the policy\. We report skipped\-update and fallback\-SFT rates because a high parse rate alone does not guarantee informative reward variance\.
## 5Benchmark and Metrics
The benchmark is organized around executable CAD\-skill trajectories\. Each task provides a natural\-language industrial specification and a structured parameter set\. The system must generate a sequence of skill calls that can be resolved and executed by the FreeCAD backend\. The current task families are:
Standard mechanical assemblies:bearing tasks involving coaxial rings, polar ball arrays, repeated separators, editable ring dimensions, and chamfered mechanical details\.
Industrial equipment assemblies:press\-machine, cooling\-tower, and linear\-manifold tasks involving layered structures, repeated connectors, springs, guide posts, fans, holes, and pipe\-like features\.
Mold assemblies:mold\-machine and mold\-core insert tasks involving plate stacks, guide posts, hole grids, counterbores, grooves, spline ribs, and editable core\-shaft layouts\.
We evaluate two evidence levels\. The*solver\-execution level*measures whether a resolved trajectory executes in the CAD backend\. The*learned\-policy level*measures whether an SFT or GRPO controller predicts the correct next skill or operation family\. The distinction is important: deterministic strong\-planner trajectories test the capacity of the skill library and resolver, whereas learned\-policy metrics measure how much of the planning decision can be delegated to the model\.
Metrics are solver\-aligned\.*Valid/executable rate*checks parseability or FreeCAD execution success\.*Skill accuracy*checks whether the predicted skill matches the target\.*Operation\-family accuracy*checks the reusable family\.*Exact policy accuracy*requires action, skill, and family to be correct for the current state\.*Task completion*evaluates all steps in a full workflow when the workflow log is available\. For GRPO, we additionally report group\-valid rate, group\-exact rate, skipped\-update rate, and fallback\-SFT rate\.
Table 2:Main solver\-aligned performance by controller mode\. The strong\-planner row reports FreeCAD execution success for deterministic workflows, so learned\-action accuracy columns are not applicable\. Weak\-planner rows evaluate compact state\-action prediction\. The skill\-family row aggregates boundary\-value, random\-parameter, and language\-paraphrase stress tests for direct next\-family prediction\.
## 6Results
### 6\.1Solver\-Aligned Performance
Table[2](https://arxiv.org/html/2606.31252#S5.T2)shows the main quantitative results\. Deterministic strong planning executes all evaluated workflow families in the current benchmark\. The weak\-planner SFT policy reaches 93\.1% exact accuracy on the state\-policy benchmark, and GRPO refinement gives a small gain to 93\.2%\. The direct skill\-family SFT model is more challenging because it must predict the family directly under boundary, random\-parameter, and paraphrase stress tests; it reaches 76\.6% exact accuracy in the aggregate\.
The GRPO run contains 18,335 candidate groups\. Its group\-valid rate is 100\.0%, and its group\-exact rate is 73\.5%\. The skipped\-update rate is 68\.3%, and the fallback\-SFT rate is 10\.3%\. These diagnostics indicate that format validity is not the bottleneck; the main learning challenge is obtaining reward variance that distinguishes plausible but geometrically incorrect next actions\.
Table 3:Task\-level evidence in the current artifact snapshot\. We list only evaluated task\-method pairs to avoid implying that missing entries are zero\-valued results\.
### 6\.2Task\-Level Evidence and Ablations
Table[3](https://arxiv.org/html/2606.31252#S6.T3)breaks the evidence down by controller and task family\. The strong\-planner rows confirm that the skill library and deterministic resolver can generate complete solver\-checked assemblies for the evaluated families\. The learned\-policy rows show that exact next\-action prediction remains task dependent\. Bearing tasks are relatively regular because repeated features follow polar patterns, while press\-machine and mold\-machine tasks require more mixed feature orders and spatial relations\.
The ablation trend supports the design choice behind operation families\. Direct family prediction exposes the model to many similar but index\-sensitive decisions, producing lower exact accuracy\. The weak\-planner state policy predicts a compact controller action and leaves deterministic geometry and instance resolution to the controller, which improves exact state\-policy performance\. GRPO refinement provides a limited gain in the current logs, but the skipped\-update rate suggests that future reward shaping should create more informative contrasts among candidate actions\.
### 6\.3Qualitative Analysis
Figure[2](https://arxiv.org/html/2606.31252#S1.F2)visualizes intermediate states rather than only final renders\. This is useful for CAD\-agent evaluation because many failures occur before the final view: a guide post can be created at the wrong height, a cutter can remove the wrong plate, or an array can be mirrored around the wrong origin\. Intermediate solver\-checked snapshots make these errors diagnosable\.
Figure[3](https://arxiv.org/html/2606.31252#S1.F3)compares same\-prompt outputs against paper\-inspired ArtiCAD\-style and TOOLCAD\-style proxy baselines rendered in the same viewer\. These proxy columns are not official reproductions and should not be interpreted as definitive baseline numbers\. They are included as diagnostic comparisons for visual feature coverage under the same prompts\. The key difference is that Embodied CAD produces executable skill workflows, whereas the proxy outputs are evaluated by visual coverage only\.
Table 4:Same\-prompt diagnostic comparison\. Coverage is exact workflow coverage for Embodied CAD and heuristic feature coverage for proxy baselines\.
### 6\.4Failure Modes
The remaining failures fall into four recurring categories\.*Family confusion*occurs when the model selects a plausible but wrong next operation, such as a chamfer before all cuts have been applied\.*Index ambiguity*occurs when repeated instances are not grounded to the construction state\.*Coordinate\-frame errors*occur when local and global frames are mixed, especially for mirrored or rotated features\.*Reward sparsity*occurs when many sampled candidates are parseable and executable but have identical group rewards\. Operation\-family resolution reduces the second and third categories, while richer solver diagnostics are needed for the first and fourth\.
## 7Discussion and Limitations
Embodied CAD is most effective when the assembly can be decomposed into reusable engineering operations\. This is also its main limitation: new domains require new skills, resolvers, and validation checks\. The current benchmark emphasizes parametric mechanical and mold\-oriented assemblies; free\-form surfacing, complex organic shapes, tolerance\-stack analysis, and downstream manufacturing simulation are outside the present scope\. The proxy comparisons are useful for debugging but should be replaced with official implementations or standardized benchmark submissions when available\. Finally, the current GRPO results show that solver feedback is necessary but not sufficient: a training signal must distinguish geometrically meaningful alternatives, not only executable syntax\.
## 8Conclusion
We introduced Embodied CAD, a closed\-loop framework for autonomous parametric B\-Rep assembly modeling with LLM agents\. By separating LLM planning, deterministic operation\-family resolution, and CAD\-kernel execution, the framework converts open\-loop script generation into solver\-grounded skill trajectories\. Experiments on multi\-category industrial assemblies show that the skill library and resolver can execute complete workflows, while learned policies achieve high valid rates but still face long\-horizon exact\-action errors\. The results suggest that future text\-to\-CAD systems should evaluate not only visual plausibility, but also solver execution, editability, and intermediate state validity\.
## References
- A\. C\. Doris, M\. F\. Alam, A\. H\. Nobari, and F\. Ahmed \(2025\)CAD\-Coder: an open\-source vision\-language model for computer\-aided design code generation\.Note:arXiv preprint arXiv:2505\.14646Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p2.1),[§2](https://arxiv.org/html/2606.31252#S2.p1.1)\.
- Y\. Gong, X\. Wu, W\. Liu, and K\. Tu \(2026\)TOOLCAD: exploring tool\-using large language models in text\-to\-cad generation with reinforcement learning\.Note:arXiv preprint arXiv:2604\.07960Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p3.1)\.
- Y\. Guan, X\. Wang, X\. Xing, J\. Zhang, D\. Xu, and Q\. Yu \(2025\)CAD\-Coder: text\-to\-cad generation with chain\-of\-thought and geometric reward\.InAdvances in Neural Information Processing Systems,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p2.1),[§2](https://arxiv.org/html/2606.31252#S2.p1.1)\.
- P\. K\. Jayaraman, J\. G\. Lambourne, N\. Desai, K\. D\. D\. Willis, A\. Sanghi, and N\. J\. W\. Morris \(2022\)SolidGen: an autoregressive model for direct b\-rep synthesis\.Note:arXiv preprint arXiv:2203\.13944Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p2.1)\.
- P\. K\. Jayaraman, A\. Sanghi, J\. G\. Lambourne, K\. D\. D\. Willis, T\. Davies, H\. Shayani, and N\. Morris \(2021\)UV\-Net: learning from boundary representations\.InProceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition,Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p2.1)\.
- R\. K\. Jones, H\. Walke, and D\. Ritchie \(2020\)ShapeAssembly: learning to generate programs for 3d shape structure synthesis\.ACM Transactions on Graphics39\(6\)\.Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p2.1)\.
- M\. S\. Khan, E\. Dupont, S\. A\. Ali, K\. Cherenkova, A\. Kacem, and D\. Aouada \(2024\)Text2CAD: generating sequential cad designs from beginner\-to\-expert level text prompts\.InAdvances in Neural Information Processing Systems,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p2.1),[§2](https://arxiv.org/html/2606.31252#S2.p1.1)\.
- S\. Koch, A\. Matveev, Z\. Jiang, F\. Williams, A\. Artemov, E\. Burnaev, M\. Alexa, D\. Zorin, and D\. Panozzo \(2019\)ABC: a big cad model dataset for geometric deep learning\.InProceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition,Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p1.1)\.
- J\. G\. Lambourne, K\. D\. D\. Willis, P\. K\. Jayaraman, A\. Sanghi, P\. Meltzer, and H\. Shayani \(2021\)BRepNet: a topological message passing system for solid models\.InProceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition,Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p2.1)\.
- A\. Madaan, N\. Tandon, P\. Gupta, S\. Hallinan, L\. Gao, S\. Wiegreffe, U\. Alon, N\. Dziri, S\. Prabhumoye, Y\. Yang, S\. Welleck, B\. P\. Majumder, S\. Gupta, A\. Yazdanbakhsh, and P\. Clark \(2023\)Self\-refine: iterative refinement with self\-feedback\.InAdvances in Neural Information Processing Systems,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p1.1)\.
- D\. Mallis, A\. S\. Karadeniz, S\. Cavada, D\. Rukhovich, N\. Foteinopoulou, K\. Cherenkova, A\. Kacem, and D\. Aouada \(2025\)CAD\-Assistant: tool\-augmented vllms as generic cad task solvers\.InProceedings of the IEEE/CVF International Conference on Computer Vision,Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p3.1)\.
- L\. Ouyang, J\. Wu, X\. Jiang, D\. Almeida, C\. L\. Wainwright, P\. Mishkin, C\. Zhang, S\. Agarwal, K\. Slama, A\. Ray, J\. Schulman, J\. Hilton, F\. Kelton, L\. Miller, M\. Simens, A\. Askell, P\. Welinder, P\. Christiano, J\. Leike, and R\. Lowe \(2022\)Training language models to follow instructions with human feedback\.InAdvances in Neural Information Processing Systems,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p1.1)\.
- T\. Schick, J\. Dwivedi\-Yu, R\. Dessi, R\. Raileanu, M\. Lomeli, E\. Hambro, L\. Zettlemoyer, N\. Cancedda, and T\. Scialom \(2023\)Toolformer: language models can teach themselves to use tools\.InAdvances in Neural Information Processing Systems,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p1.1)\.
- G\. Sharma, D\. Goyal, H\. Liu, E\. Kalogerakis, and S\. Maji \(2018\)CSGNet: neural shape parser for constructive solid geometry\.InProceedings of the IEEE Conference on Computer Vision and Pattern Recognition,Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p2.1)\.
- N\. Shinn, F\. Cassano, A\. Gopinath, K\. Narasimhan, and S\. Yao \(2023\)Reflexion: language agents with verbal reinforcement learning\.InAdvances in Neural Information Processing Systems,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p1.1)\.
- Y\. Shui, Y\. Guan, Z\. Zhang, J\. Hu, J\. Zhang, D\. Xu, and Q\. Yu \(2026\)ArtiCAD: articulated cad assembly design via multi\-agent code generation\.Note:arXiv preprint arXiv:2604\.10992Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p3.1)\.
- K\. D\. D\. Willis, P\. K\. Jayaraman, H\. Chu, Y\. Tian, Y\. Li, D\. Grandi, A\. Sanghi, L\. Tran, J\. G\. Lambourne, and A\. Solar\-Lezama \(2022\)JoinABLe: learning bottom\-up assembly of parametric cad joints\.InProceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition,Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p3.1)\.
- K\. D\. D\. Willis, P\. K\. Jayaraman, J\. G\. Lambourne, H\. Chu, and Y\. Pu \(2021\)Fusion 360 gallery: a dataset and environment for programmatic cad construction from human design sequences\.ACM Transactions on Graphics40\(4\)\.Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p1.1)\.
- R\. Wu, C\. Xiao, and C\. Zheng \(2021\)DeepCAD: a deep generative network for computer\-aided design models\.InProceedings of the IEEE/CVF International Conference on Computer Vision,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p2.1),[§2](https://arxiv.org/html/2606.31252#S2.p1.1)\.
- X\. Xu, P\. K\. Jayaraman, J\. G\. Lambourne, K\. D\. D\. Willis, and Y\. Furukawa \(2024\)BRepGen: a b\-rep generative diffusion model with structured latent geometry\.ACM Transactions on Graphics43\(4\)\.Cited by:[§2](https://arxiv.org/html/2606.31252#S2.p2.1)\.
- X\. Xu, K\. D\. D\. Willis, J\. G\. Lambourne, C\. Cheng, P\. K\. Jayaraman, and Y\. Furukawa \(2022\)SkexGen: autoregressive generation of cad construction sequences with disentangled codebooks\.InProceedings of the International Conference on Machine Learning,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p2.1),[§2](https://arxiv.org/html/2606.31252#S2.p1.1)\.
- S\. Yao, J\. Zhao, D\. Yu, N\. Du, I\. Shafran, K\. Narasimhan, and Y\. Cao \(2023\)ReAct: synergizing reasoning and acting in language models\.InProceedings of the International Conference on Learning Representations,Cited by:[§1](https://arxiv.org/html/2606.31252#S1.p1.1)\.Similar Articles
Memory-Augmented Reinforcement Learning Agent for CAD Generation
This paper proposes a memory-augmented reinforcement learning framework for CAD generation agents that integrates geometric kernel toolchains, dual-track memory, and dynamic utility retrieval to handle complex CAD models with long operation sequences and geometric constraints, achieving improved success rate and geometric consistency.
Self-Improving CAD Generation Agents with Finite Element Analysis as Feedback
This paper introduces a new task formulation for CAD generation that incorporates finite element analysis as feedback, along with improved supervision signals like a text-only blueprint schema and multi-view image renderer, leading to better geometric reconstruction on benchmarks.
Tool-Augmented Agent for Closed-loop Optimization,Simulation,and Modeling Orchestration
The paper introduces COSMO-Agent, a tool-augmented reinforcement learning framework that trains LLMs to perform closed-loop CAD-CAE optimization, iteratively generating parametric geometries and running simulations until constraints are satisfied, with a multi-constraint reward and a new industry-aligned dataset.
Cognitive Agent Compilation for Explicit Problem Solver Modeling
The paper introduces Cognitive Agent Compilation (CAC), a framework that uses teacher LLMs to compile problem-solving knowledge into explicit, inspectable agents for educational applications. It aims to address the lack of controllability and explainability in standard LLMs by separating knowledge representation from policy and verification rules.
Foundation Models for Automatic CAD Generation
This paper presents a comprehensive empirical study on using foundation models (LLMs and VLMs) for automatic CAD generation from natural language, introducing the LLMForge framework with two critique regimes (IterTracer and IterVision) and evaluating seven models on a benchmark of 97 engineering design problems.