AGI & CoCoSci
837 items from yuzheshi/awesome-agi-cocosci ★398
-
KnitScript: A Domain-Specific Scripting Language for Advanced Machine Knitting dl.acm.org
UIST'23, 2023. [All Versions]. [Project]. This paper presents KnitScript, a domain-specific machine knitting scripting language that supports computationally driven knitting designs. KnitScript provides a comprehensive virtual model of knitting machines, giving access to…
-
A Computational Inflection for Scientific Discovery dl.acm.org
Communications of the ACM, 2023. [All Versions].
-
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs dl.acm.org
POPL'23, 2023. [All Versions]. A new algorithm that synthesizes functional reactive programs from observation data, which iterates between a functional synthesis step, which attempts to generate a transition function over observed states, and an automata synthesis step, which…
-
Top-Down Synthesis for Library Learning dl.acm.org
POPL'23, 2023. [All Versions]. This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of programs in a domain specific language (DSL). The algorithm builds abstractions directly…
-
babble: Learning Better Abstractions with E-Graphs and Anti-unification dl.acm.org
POPL'23, 2023. [All Versions]. This paper proposes library learning modulo theory (LLMT), a new library learning algorithm that additionally takes as input an equational theory for a given problem domain. LLMT uses e-graphs and equality saturation to compactly represent the…
-
Free2CAD: parsing freehand drawings into CAD commands dl.acm.org
ACM Transactions on Graphics, 2022. [All Versions]. CAD modeling, despite being the industry-standard, remains restricted to usage by skilled practitioners due to two key barriers. First, the user must be able to mentally parse a final shape into a valid sequence of supported…
-
Domain-specific languages: an annotated bibliography dl.acm.org
ACM SIGPLAN Notices, 2000. [All Versions]. A survey on the topic of domain-specific languages as used for the construction and maintenance of software systems. The survey lists a selection of 75 key publications in the area, and provides a summary for each of the papers…
-
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design dl.acm.org
ACM Transactions on Computer-Human Interaction, 2021. [All Versions]. Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: languages have high iteration costs…
-
ShapeMOD: macro operation discovery for 3D shape programs dl.acm.org
ACM Transactions on Graphics, 2021. [All Versions]. A popular way to create detailed yet easily controllable 3D shapes is via procedural modeling, i.e. generating geometry using programs. Such programs consist of a series of instructions along with their associated parameter…
-
RoboGrammar: graph grammar for terrain-optimized robot design dl.acm.org
ACM Transactions on Graphics, 2020. [All Versions]. This work presents RoboGrammar, a fully automated approach for generating optimized robot structures to traverse given terrains. This framework represents each robot design as a graph, and uses a graph grammar to express…
-
ShapeAssembly: learning to generate programs for 3D shape structure synthesis dl.acm.org
ACM Transactions on Graphics, 2020. [All Versions]. Manually authoring 3D shapes is difficult and time consuming; generative models of 3D shapes offer compelling alternatives. Procedural representations are one such possibility: they offer high-quality and editable results but…
-
Penrose: from mathematical notation to beautiful diagrams dl.acm.org
ACM Transactions on Graphics, 2020. [All Versions]. This work introduces a system called Penrose for creating mathematical diagrams. Its basic functionality is to translate abstract statements written in familiar math-like notation into one or more possible visual…
-
Synthesis of Incremental Linear Algebra Programs dl.acm.org
ACM Transactions on Database Systems, 2020. [All Versions]. This article targets the Incremental View Maintenance (IVM) of sophisticated analytics (such as statistical models, machine learning programs, and graph algorithms) expressed as linear algebra programs. This work…
-
InverseCSG: automatic conversion of 3D models to CSG trees dl.acm.org
ACM Transactions on Graphics, 2018. [All Versions]. While computer-aided design is a major part of many modern manufacturing pipelines, the design files typically generated describe raw geometry. Lost in this representation is the procedure by which these designs were…
-
pix2code: Generating Code from a Graphical User Interface Screenshot dl.acm.org
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018. [All Versions]. [Code]. [Website]. This paper shows that deep learning methods can be leveraged to train a model end-to-end to automatically reverse engineer user interfaces and generate code from a single…
-
Agent: automatic generation of experimental protocol runtime dl.acm.org
VRST'17, 2017. [All Versions]. This paper proposes the use of Domain-Specific Languages (DSLs) to ease the description and generation of VR experiments, thus letting experiment designers focus on their core tasks: designing, conducting, and reporting experiments.
-
A Taxonomy of Domain-Specific Aspect Languages dl.acm.org
ACM Computing Surveys, 2015. [All Versions]. Domain-Specific Aspect Languages (DSALs) are Domain-Specific Languages (DSLs) designed to express crosscutting concerns. Compared to DSLs, their aspectual nature greatly amplifies the language design space. This survey structures…
-
The nested chinese restaurant process and bayesian nonparametric inference of topic hierarchies dl.acm.org
Journal of the ACM, 2010. [All Versions].
-
When and How to Develop Domain-Specific Languages dl.acm.org
ACM Computing Surveys, 2005. [All Versions]. [Preprint]. Domain-specific languages (DSLs) are languages tailored to a specific application domain. They offer substantial gains in expressiveness and ease of use compared with general-purpose programming languages in their domain…
-
HCI Research as Problem-Solving dl.acm.org
ACM SIGCHI'16, 2016. [All Versions]. This essay contributes a meta-scientific account of human-computer interaction (HCI) research as problem-solving. We build on the philosophy of Larry Laudan, who develops problem and solution as the foundational concepts of science. We argue…
-
Zoom In: An Introduction to Circuits distill.pub
Distill, 2020. [All Versions]. A perspective on treating neural networks as circuits.
-
Science of Science ctbergstrom.com
Science, 2018. [All Versions]. A comprehensive large-scale review on the science of science.
-
A Mathematical Theory of Communication cs.yale.edu
The Bell System Technical Journal, 1948. [All Versions]. Shannon's original paper on Information Theory.
-
Commonsense reasoning and commonsense knowledge in artificial intelligence cs.wellesley.edu
Communications of the ACM, 2015. [All Versions]. Gary Marcus's review on commonsense knowledge in AI.
-
Abductive Plan Recognition by Extending Bayesian Logic Programs cs.utexas.edu
ECML'11, 2011. [All Versions]. Plan recognition is the task of predicting an agent’s top-level plans based on its observed actions. It is an abductive reasoning task that involves inferring cause from effect. Most existing approaches to plan recognition use either first-order…
-
Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge cs.utexas.edu
MIT Press, 1994. [All Versions]. This book presents, within a conceptually unified theoretical framework, a body of methods that have been developed over the past fifteen years for building and simulating qualitative models of physical systems - bathtubs, tea kettles…
-
The Symbolic Grounding Problem cs.ox.ac.uk
Physica D: Nonlinear Phenomena, 1990. [All Versions].
-
Combining Logical Abduction and Statistical Induction: Discovering Written Primitives with Human Knowledge cs.nju.edu.cn
AAAI'17, 2017. [All Versions].
-
Visual Analogy: Deep Learning Versus Compositional Models cs.jhu.edu
CogSci'21, 2021. [All Versions]. A human-deep-learning comparison on similarity judgement.
-
Learning to act by integrating mental simulations and physical experiments cpilab.org
CogSci'18, 2018. [All Versions]. [Code].
-
Machine-generated theories of human decision-making cpb-us-w2.wpmucdn.com
Science, 2021. [All Versions].
-
Social Pragmatics: Preschoolers Rely on Commonsense Psychology to Resolve Referential Underspecification compdevlab.yale.edu
Child Development, 2019. [All Versions]. A piece of evidence for children's capability on social pragmatics.
-
Learning Part-Based Abstractions for Visual Object Concepts cogtoolslab.github.io
CogSci'21, 2021. [All Versions].
-
Structure mapping in analogy and similarity cogsci.ucsd.edu
American Psychologist, 1997. [All Versions]. A perspective unifying analogy and similarity judgement.
-
Disentangling contributions of visual information and interaction history in the formation of graphical conventions cogsci.mindmodeling.org
CogSci'19, 2019. [All Versions].
-
Searching large hypothesis spaces by asking questions cogsci.mindmodeling.org
CogSci'16, 2016. [All Versions]. A behavioral study for the 20 questions game.
-
Constraints on Hypothesis Selection in Causal Learning cogsci.mindmodeling.org
CogSci'15, 2015. [All Versions].
-
Abstract strategy learning underlies flexible transfer in physical problem solving cognitivesciencesociety.org
CogSci'20, 2020. [All Versions].
-
The structure and function of explanations cognition.princeton.edu
Trends in Cognitive Sciences, 2006. [All Versions]. Generating and evaluating explanations is spontaneous, ubiquitous and fundamental to our sense of understanding. Recent evidence suggests that in the course of an individual's reasoning, engaging in explanation can have…
-
Explanation and Abductive Inference cognition.princeton.edu
The Oxford Handbook of Thinking and Reasoning, 2012. [All Versions]. This chapter reviews evidence from cognitive psychology and cognitive development concerning the structure and function of explanations, with a focus on the role of explanations in learning and inference. The…
-
Theory-Based Causal Induction cocosci.princeton.edu
Psychological Review, 2009. [All Versions]. Thomas Griffiths' review on causal Bayesian theory induction.
-
Constructing a hypothesis space from the Web for large-scale Bayesian word learning cocosci.princeton.edu
CogSci'12, 2012. [All Versions].
-
Bridging Levels of Analysis for Probabilistic Models of Cognition cocosci.princeton.edu
Current Directions in Psychological Science, 2012. [All Versions]. A Marr's paradigm account on probabilistic models.
-
Resource-rational analysis: Understanding human cognition as the optimal use of limited computational resources cocosci.princeton.edu
Behavioral and Brain Sciences, 2020. [All Versions]. A resource-rational account on interpreting human intelligence.
-
Cognitive Science as a Source of Forward and Inverse Models of Human Decisions for Robotics and Control cocosci.princeton.edu
Annual Review of Control, Robotics, and Autonomous Systems, 2022. [All Versions]. The review focuses on how cognitive science can provide forward models of human decision-making and inverse models of how humans think about others’ decision-making. The authors highlight relevant…
-
Using large-scale experiments and machine learning to discover theories of human decision-making cocosci.princeton.edu
Science, 2021. [All Versions]. A piece of evidence for the merits brought by large-scale behavioral studies in social science.
-
Exploring human cognition using large image databases cocosci.princeton.edu
Topics in Cognitive Sciences, 2016. [All Versions].
-
Eye-tracking causality cocolab.stanford.edu
Psychological Science, 2017. [All Versions].
-
Pragmatically Informative Image Captioning with Character-Level Inference cocolab.stanford.edu
NAACL'18, 2018. [All Versions].
-
Pragmatic Reasoning through Semantic Inference cocolab.stanford.edu
Semantics & Pragmatics, 2016. [All Versions].
- next page of items loading…
