domain-specific language
PulseAugur coverage of domain-specific language — every cluster mentioning domain-specific language across labs, papers, and developer communities, ranked by signal.
3 day(s) with sentiment data
-
New benchmark tests LLMs' ability to formalize geometry problems for AlphaGeometry
Researchers have developed NL2AGBench, a new benchmark designed to evaluate how well large language models can translate informal geometry problems into the formal language required by AlphaGeometry. This is crucial bec…
-
New OptiDSL framework uses DSLs and LLMs for optimization modeling
Researchers have introduced OptiDSL, a new framework designed to improve the modeling of combinatorial optimization problems (COPs). Unlike existing systems that primarily use Mixed Integer Linear Programming (MILP), Op…
-
Brevis system synthesizes programs for lossless tensor compression
Researchers have developed Brevis, a novel system that treats lossless tensor compression as a program synthesis problem. Brevis utilizes a domain-specific language (DSL) with reversible operators to capture tensor stru…
-
AI agents discover new transformer optimizer programs
Researchers have developed OPTScientist, a novel multi-agent framework designed to discover new optimizer programs for training transformer models. This system utilizes four distinct AI agents—Theorist, Designer, Engine…
-
New RAG framework Chat2Scenic automates autonomous driving scenario generation
Researchers have developed Chat2Scenic, a novel iterative retrieval-augmented generation (RAG) framework designed to automatically create executable test scenarios for autonomous driving systems. This framework utilizes…
-
New DSLs need great docs, tooling to survive LLM era
For a new Domain Specific Language (DSL) to succeed in the age of Large Language Models (LLMs), it requires excellent documentation, effective marketing, and robust tooling. The article emphasizes that advanced tools li…
-
New frameworks enable asynchronous human-AI collaboration in complex scientific workflows
Researchers have developed HepScript, a Domain-Specific Language (DSL) designed to facilitate human-AI collaboration in high-energy physics data analysis. This DSL abstracts complex analysis logic into a formal syntax t…
-
New 'Thinking with Drafting' method reconstructs latent logic from visual data
Researchers have introduced a new method called Thinking with Drafting (TwD) to improve visual reasoning in multimodal large language models. TwD reconceptualizes processing visual inputs as optical decompression, recon…