2 papers
cs.SE2025
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
Junjie Sheng, Yanqiu Lin, Jiehao Wu +4
The Satisfiability (SAT) problem is a core challenge with significant applications in software engineering, including automated testing, configuration management, and program verif…
cs.CV2024
OpenECAD: An Efficient Visual Language Model for Editable 3D-CAD Design
Zhe Yuan, Jianqi Shi, Yanhong Huang
Computer-aided design (CAD) tools are utilized in the manufacturing industry for modeling everything from cups to spacecraft. These programs are complex to use and typically requir…