Buchumschlag

CLS-CAD: Synthesizing CAD Assemblies in Fusion 360

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chaumet, Constantin, Rehof, Jakob
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Robotics Software Engineering J.6; F.4.1; D.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A knowledge-driven framework for synthesizing designs from modular components
von: Chaumet, Constantin, et al.
Veröffentlicht: (2023)

Spreadsheet Assurance by "Control Around" is a Viable Alternative to the Traditional Approach
von: Ettema, Harmen, et al.
Veröffentlicht: (2008)

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
von: Lahiri, Shuvendu K.
Veröffentlicht: (2024)

Towards Comprehensive Sampling of SMT Solutions
von: Lyu, Shuangyu, et al.
Veröffentlicht: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
von: Surana, Shraddha, et al.
Veröffentlicht: (2025)

Applying the CobiT Control Framework to Spreadsheet Developments
von: Butler, Raymond J.
Veröffentlicht: (2008)

Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
von: Rust, Alan, et al.
Veröffentlicht: (2008)

Converting BPMN Diagrams to Privacy Calculus
von: Pitsiladis, Georgios V., et al.
Veröffentlicht: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Spreadsheet Debugging
von: Ayalew, Yirsaw, et al.
Veröffentlicht: (2008)

Comparison of Spreadsheets with other Development Tools (limitations, solutions, workarounds and alternatives)
von: Murphy, Simon
Veröffentlicht: (2008)

Recommended Practices for Spreadsheet Testing
von: Panko, Raymond R.
Veröffentlicht: (2007)

Reducing Overconfidence in Spreadsheet Development
von: Panko, Raymond R.
Veröffentlicht: (2008)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
von: Kiashemshaki, Kiana, et al.
Veröffentlicht: (2025)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
von: Kratz, Maximilian, et al.
Veröffentlicht: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
von: Ehmes, Sebastian, et al.
Veröffentlicht: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
von: Kratz, Maximilian, et al.
Veröffentlicht: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
von: Mitra, Joydeep, et al.
Veröffentlicht: (2020)

What is Business Process Automation Anyway?
von: Vu, Hoang, et al.
Veröffentlicht: (2025)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
von: Vatsa, Adarsh, et al.
Veröffentlicht: (2025)

Spreadsheet Engineering: A Research Framework
von: Grossman, Thomas A.
Veröffentlicht: (2007)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

Constrained LTL Specification Learning from Examples
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
von: Chen, Jinbao, et al.
Veröffentlicht: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
von: Susan, Ştefan-Claudiu, et al.
Veröffentlicht: (2025)

The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
von: Akanji, Olawale Amos, et al.
Veröffentlicht: (2026)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
von: Slater, Tyler
Veröffentlicht: (2025)

The Fluted Fragment with Transitive Relations
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2020)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
von: Liu, Kuangxiangzi, et al.
Veröffentlicht: (2025)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
von: Grossman, Thomas A.
Veröffentlicht: (2008)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2019)

An LSTM-based Test Selection Method for Self-Driving Cars
von: Güllü, Ali, et al.
Veröffentlicht: (2025)

Extending Structural Causal Models for Autonomous Vehicles to Simplify Temporal System Construction & Enable Dynamic Interactions Between Agents
von: Howard, Rhys, et al.
Veröffentlicht: (2024)