1.1k citations
- Menlo SchoolUS21 papers
- Stanford UniversityUS9 papers
- University of California, BerkeleyUS9 papers
- University of PennsylvaniaUS7 papers
- Michigan State UniversityUS6 papers
- Space Telescope Science InstituteUS6 papers
- University College LondonGB6 papers
- University of California San DiegoUS6 papers
- University of Illinois Urbana-ChampaignUS6 papers
- Oak Ridge National LaboratoryUS5 papers
- Purdue University West LafayetteUS5 papers
- Brown UniversityUS4 papers
21 papers · 1 filter
Generative AI in the Construction Industry: Opportunities & Challenges
Prashnna Ghimire, Kyungki Kim, Manoj Acharya
In the last decade, despite rapid advancements in artificial intelligence (AI) transforming many industry practices, construction largely lags in adoption. Recently, the emergence…
Novelty Accommodating Multi-Agent Planning in High Fidelity Simulated Open World
James Chao, Wiktor Piotrowski, Roni Stern +4
Autonomous agents operating within real-world environments often rely on automated planners to ascertain optimal actions towards desired goals or the optimization of a specified ob…
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Anna Lukina, Lukas Esterle, Christian Hirsch +5
We introduce ARES, an efficient approximation algorithm for generating optimal plans (action sequences) that take an initial state of a Markov Decision Process (MDP) to a state who…
A Theory of Formal Synthesis via Inductive Learning
Susmit Jha, Sanjit A. Seshia
Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based o…
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel +1
Research on developing efficient and scalable ASP solvers can substantially benefit by the availability of data sets to experiment with. KB_Bio_101 contains knowledge from a biolog…
Automorphism Groups of Graphical Models and Lifted Variational Inference
Hung Bui, Tuyen Huynh, Sebastian Riedel
Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of sym…