#domain-specific-languages News & Analysis

4 articles tagged with #domain-specific-languages. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

4 articles

AINeutralarXiv – CS AI · May 127/10

🧠

Your Simulation Runs but Solves the Wrong Physics: PDE-Grounded Intent Verification for LLM-Generated Multiphysics Simulation Code

Researchers present a method to verify that LLM-generated simulation code solves the intended physics equations, not just that it executes successfully. They introduce Intent Fidelity Score (IFS) to structurally compare generated PDEs against user intent, and demonstrate on 220 multiphysics cases that execution-only validation misses 39-40% of cases solving incorrect physics.

AINeutralarXiv – CS AI · Jun 236/10

🧠

Text2DSL: LLM-Based Code Generation for Domain-Specific Languages

Researchers introduce Text2DSL, a framework for automatically generating domain-specific language (DSL) code from natural language using large language models, validated on 4,204 Polkit security policy rules. The study demonstrates that providing structured context like BNF grammar and API specifications dramatically improves code generation accuracy to 98.6-99.4% syntactic validity across different model scales without requiring fine-tuning.

AINeutralarXiv – CS AI · Jun 236/10

🧠

Context-Aware Distillation and Ablation for Text2DSL

Researchers improved Text2DSL, a system that automatically generates domain-specific language code from natural language, by replacing prompt-based generation with context-aware distillation using structured inputs like BNF grammars and API specifications. The enhanced approach scaled verified training data from 4,204 to 10,073 examples while maintaining 99.7% runtime accuracy, and ablation studies confirmed that vocabulary context provides the strongest semantic improvements.

AINeutralarXiv – CS AI · May 296/10

🧠

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop

Researchers introduce SyntAGM, an AI system that generates mathematical optimization models in readable algebraic language rather than general-purpose code. The system uses a compiler-in-the-loop approach with iterative feedback to improve model accuracy, achieving better cost-quality trade-offs than existing language model baselines.