574 citations
- Stanford UniversityUS10 papers
- University of California, IrvineUS10 papers
- University of California, Santa CruzUS9 papers
- University of California, BerkeleyUS7 papers
- AT&T (United States)US5 papers
- Palo Alto InstituteUS5 papers
- Palo Alto UniversityUS5 papers
- Intel (United States)US4 papers
- École Polytechnique Fédérale de LausanneCH3 papers
- Fritz Haber Institute of the Max Planck SocietyDE3 papers
- Georgia Institute of TechnologyUS3 papers
- Google (United States)US3 papers
137 papers
Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation
Geert Trooskens, Aaron Karlsberg, Anmol Sharma +6
We study compiled AI, a paradigm in which large language models generate executable code artifacts during a compilation phase, after which workflows execute deterministically witho…
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
Jacqueline Mitchell, Yasser Shaaban
``Vibe coding'' -- the practice of developing software through iteratively conversing with a large language model (LLM) -- has exploded in popularity within the last year. However,…
Co-design Optimization of Moving Parts for Compliance and Collision Avoidance
Amir M. Mirzendehdel, Morad Behandish
Design requirements for moving parts in mechanical assemblies are typically specified in terms of interactions with other parts. Some are purely kinematic (e.g., pairwise collision…
Deep Neural Implicit Representation of Accessibility for Multi-Axis Manufacturing
George P. Harabin, Amir Mirzendehdel, Morad Behandish
One of the main concerns in design and process planning for multi-axis additive and subtractive manufacturing is collision avoidance between moving objects (e.g., tool assemblies)…
Meta-Designing Quantum Experiments with Language Models
Sören Arlt, Haonan Duan, Felix Li +3
Artificial Intelligence (AI) can solve complex scientific problems beyond human capabilities, but the resulting solutions offer little insight into the underlying physical principl…
System Design Approach for Control of Differentially Private Dynamical Systems
Raman Goyal, Dhrubajit Chowdhury, Shantanu Rane
This paper introduces a novel approach to concurrently design dynamic controllers and correlated differential privacy noise in dynamic control systems. An increase in privacy noise…