22 citations · 25 across the 5 of their papers we have counts for
5 papers
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…
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…
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest
Shucen Ma, Jianqi Shi, Yanhong Huang +2
The broad adoption of Machine Learning (ML) in security-critical fields demands the explainability of the approach. However, the research on understanding ML models, such as Random…
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning
Gelin Zhang, Zhe Hou, Yanhong Huang +4
Ensemble trees are a popular machine learning model which often yields high prediction performance when analysing structured data. Although individual small decision trees are deem…
Apricot - An Object-Oriented Modeling Language for Hybrid Systems
Huixing Fang, Huibiao Zhu, Jianqi Shi
We propose Apricot as an object-oriented language for modeling hybrid systems. The language combines the features in domain specific language and object-oriented language, that fil…