Programming
Software development: programming languages, coding, libraries and frameworks, software engineering and architecture, source control, developer tools, databases, and infrastructure.
-
Top 10 Algorithms for Coding Interview programcreek.com
-
Mental Representations: A Dual Coding Approach zh.pb1lib.org
Oxford University Press, 1990. [All Versions]. The original book on dual coding theory, in the neuroscience account of mental representation.
-
Leveraging Language for Abstraction and Program Search vigilworkshop.github.io
ICML'20, 2020. [All Versions].
-
The complete guide to (external) Domain Specific Languages tomassetti.me
. An introduction to Domain Specific Languages (DSL) based on 19 DSL cases.
-
Dual coding of knowledge in the human brain sciencedirect.com
Trends in Cognitive Sciences, 2021. [All Versions]. Yanchao Bi's review on neuroscience experiments on dual coding theory.
-
iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain… sciencedirect.com
Information and Software Technology, 2022. [All Versions]. Smart contracts play a vital role in many fields. Despite being called smart, the development of smart contracts is a tedious task beyond defining a set of contractual rules. In addition to business knowledge, coding a…
-
ACLP: Abductive Constraint Logic Programming sciencedirect.com
The Journal of Logic Programming, 1999. [All Versions]. This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and…
-
Quantifying usability of domain-specific languages: An empirical study on software maintenance sciencedirect.com
Journal of Systems and Software, 2015. [All Versions]. A DSL aims to support software development by offering abstractions to a particular domain. It is expected that DSLs improve the maintainability of artifacts otherwise produced with general-purpose languages. However, the…
-
Domain-Specific Languages: A Systematic Mapping Study sciencedirect.com
Information and Software Technology, 2016. [All Versions]. This study reports on a Systematic Mapping Study (SMS) for Domain-Specific Languages (DSLs). The main objective of the described work was to perform an SMS on DSLs to better understand the DSL research field, identify…
-
The structure-mapping engine: Algorithm and examples sciencedirect.com
Artificial Intelligence, 1989. [All Versions]. A computational implementation of analogy.
-
Qualitative Simulation sciencedirect.com
Artificial Intelligence, 1986. [All Versions]. [Preprint]. This paper presents a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and continuously differentiable functions. The authors present a new algorithm for…
-
A principal odor map unifies diverse tasks in olfactory perception science.org
Science, 2023. [All Versions]. [Code]. [Data (Reproduced)]. [Preprint]. [GoodScents Database]. [Leffingwell Database]. Mapping molecular structure to odor perception is a key challenge in olfaction. This work used graph neural networks to generate a principal odor map (POM)…
-
Digitization and validation of a chemical synthesis literature database in the ChemPU science.org
Science, 2022. [All Versions]. [Preprint]. This paper presents an automatically executable chemical reaction database of 100 molecules representative of the range of reactions found in contemporary organic synthesis. The chemical reaction codes or χDLs for the reactions have…
-
A universal system for digitization and automatic execution of the chemical synthesis literature science.org
Science, 2020. [All Versions]. [Preprint]. [XDL Documentation]. [XDL Schema Database]. This paper reports a software platform that uses natural language processing to translate the organic chemistry literature directly into editable code, which in turn can be compiled to drive…
-
Organic synthesis in a modular robotic system driven by a chemical programming language science.org
Science, 2019. [All Versions]. [Preprint]. [Perspective: Democratizing synthesis by automation]. This paper develops an autonomous compiler and robotic laboratory platform to synthesize organic compounds on the basis of standardized methods descriptions. The platform comprises…
-
Reconfigurable system for automated optimization of diverse chemical reactions science.org
Science, 2018. [All Versions]. [Preprint]. This paper describes a plug-and-play, continuous-flow chemical synthesis system that mitigates this challenge with an integrated combination of hardware, software, and analytics. The system software controls the user-selected reagents…
-
Human-level concept learning through probabilistic program induction science.org
Science, 2015. [All Versions]. [Preprint]. [Supplementary Material]. People learning new concepts can often generalize successfully from just a single example, yet machine learning algorithms typically require tens or hundreds of examples to perform with similar accuracy…
-
From language development to language evolution: A unified view of human lexical creativity science.org
Science, 2023. [All Versions]. [Preprint]. This work supports a unified foundation for human lexical creativity underlying both the fleeting products of individual ontogeny and the evolutionary products of phylogeny across languages.
-
A Generalized Earley Parser for Human Activity Parsing and Prediction scholar.google.com
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2020. [All Versions]. Detection, parsing, and future predictions on sequence data (e.g., videos) require the algorithms to capture non-Markovian and compositional properties of high-level semantics. Context-free…
-
DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning royalsocietypublishing.org
Philosophical Transactions of the Royal Society A, 2023. [All Versions]. [Preprint]. This paper presents DreamCoder, a system that learns to solve problems by writing programs. It builds expertise by creating domain-specific programming languages for expressing domain concepts…
-
Chemputation and the Standardization of Chemical Informatics pubs.acs.org
Journal of the American Chemical Society (Au), 2021. [All Versions]. This paper describes a standard hardware (the chemical processing programming architecture --- the ChemPU) to encompass all chemical synthesis, an approach which unifies all chemistry automation strategies…
-
Artificial Intelligence for Retrosynthetic Planning Needs Both Data and Expert Knowledge pubs.acs.org
Journal of the American Chemical Society, 2024. [All Versions]. The development of AI synthesis planners trained solely on reaction-example-data has stagnated and is not on par with the performance of “hybrid” algorithms combining AI with expert knowledge. This Perspective…
-
A Logic Programming Language for Computational Nucleic Acid Devices pubs.acs.org
ACS Synthetic Biology, 2018. [All Versions]. This paper presents a logic programming language that allows a broad range of computational nucleic acid systems to be designed and analyzed. The language extends standard logic programming with a novel equational theory to express…
-
Tools, language and cognition in human evolution psycnet.apa.org
Cambridge University Press, 1993. [All Versions]. A classic perspective correlating human tool use with the evolution of civilization.
-
Communicating Natural Programs to Humans and Machines proceedings.neurips.cc
NeurIPS'22, 2022. [All Versions]. While humans readily generate and interpret instructions in a general language, computer systems are shackled to a narrow domain-specific language that they can precisely execute. This makes building intelligent systems that can generalize to…
-
A Generalized Algorithm for Multi-Objective Reinforcement Learning and Policy Adaptation proceedings.neurips.cc
NeurIPS'19, 2019. [All Versions].
-
Practical Bayesian Optimization of Machine Learning Algorithms proceedings.neurips.cc
NeurIPS'12, 2012. [All Versions]. The use of machine learning algorithms frequently involves careful tuning of learning parameters and model hyperparameters. Unfortunately, this tuning is often a “black art” requiring expert experience, rules of thumb, or sometimes brute-force…
-
Testing a Bayesian Measure of Representativeness Using a Large Image Database proceedings.neurips.cc
NeurIPS'11, 2011. [All Versions].
-
PAL: Program-aided Language Models proceedings.mlr.press
ICML'23, 2023. [All Versions]. Paper presenting an approach that uses the LLM to read natural language problems and generate programs as the intermediate reasoning steps, but offloads the solution step to a runtime such as a Python interpreter. With PAL, decomposing the natural…
-
A Language for Counterfactual Generative Models proceedings.mlr.press
ICML'21, 2021. [All Versions]. [Project]. This paper presents Omega, a probabilistic programming language with support for counterfactual inference. This feature is accomplished by introducing a new operator to probabilistic programming akin to Pearl’s do.
-
PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming proceedings.mlr.press
ICML'21, 2021. [All Versions]. This work presents PClean, a probabilistic programming language (PPL) for leveraging dataset-specific knowledge to automate Bayesian cleaning, automating Bayesian approaches given the diversity of real-world error patterns and the hardness of…
-
Kinematic mental simulations in abduction and deduction pnas.org
Proceedings of the National Academy of Sciences, 2013. [All Versions]. This paper presents a theory, and its computer implementation, of how mental simulations underlie the abductions of informal algorithms and deductions from these algorithms. Three experiments tested the…
-
HLSMAC: A New StarCraft Multi-Agent Challenge for High-Level Strategic Decision-Making openreview.net
AAMAS'26, 2026. [All Versions]. Benchmarks are crucial for assessing multi-agent reinforcement learning (MARL) algorithms. While StarCraft II-related environments have driven significant advances in MARL, existing benchmarks like SMAC focus primarily on micromanagement…
-
Visual Programming: Compositional Visual Reasoning Without Training openaccess.thecvf.com
CVPR'23, 2023. [All Versions]. VISPROG, a neuro-symbolic approach to solving complex and compositional visual tasks given natural language instructions, using the in-context learning ability of large language models to generate python-like modular programs, which are then…
-
Universal chemical programming language for robotic synthesis repeatability nature.com
Nature Synthesis, 2024. [All Versions]. [Preprint]. The amount of chemical synthesis literature is growing quickly; however, it takes a long time to share and evaluate new processes among laboratories. This paper presents an approach that uses a universal chemical programming…
-
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming nature.com
Scientific Reports, 2022. [All Versions]. Inferring reliable brain-behavior associations requires synthesizing evidence from thousands of functional neuroimaging studies through meta-analysis. However, existing meta-analysis tools are limited to investigating simple…
-
Scientific Data, 2020. [All Versions]. [Project]. Advances in computer-assisted linguistic research have been greatly influential in reshaping linguistic research. With the increasing availability of interconnected datasets created and curated by researchers, more and more…
-
Algorithm for optimized mRNA design improves stability and immunogenicity nature.com
Nature, 2023. [All Versions]. Messenger RNA (mRNA) vaccines are being used to combat the spread of COVID-19, but they still exhibit critical limitations caused by mRNA instability and degradation, which are major obstacles for the storage, distribution and efficacy of the…
-
Human–machine collaboration for improving semiconductor process development nature.com
Nature, 2023. [All Versions]. [Nature News]. This work studies Bayesian optimization algorithms to investigate how artificial intelligence (AI) might decrease the cost of developing complex semiconductor chip processes. In particular, this work create a controlled virtual…
-
An autonomous portable platform for universal chemical synthesis nature.com
Nature Chemistry, 2022. [All Versions]. [Preprint]. This paper presents a portable suitcase-sized chemical synthesis platform containing all the modules required for synthesis and purification. The system uses a chemical programming language coupled to a digital reactor…
-
A human-machine interface for automatic exploration of chemical reaction networks nature.com
Nature Communications, 2024. [All Versions]. Autonomous reaction network exploration algorithms offer a systematic approach to explore mechanisms of complex chemical processes. However, the resulting reaction networks are so vast that an exploration of all potentially…
-
Program Synthesis microsoft.com
Foundations and Trends in Programming Languages, 2017. [All Versions]. Sumit Gulwani's comprehensive review on program synthesis.
-
What is Answer Set Programming? link.springer.com
Springer, 2008. [All Versions]. [Tutorial on AAAI]. Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly…
-
Domain-Specific Modeling Languages: Requirements Analysis and Design Guidelines link.springer.com
Domain Engineering: Product Lines, Languages, and Conceptual Models, 2013. [All Versions]. In recent years, the development of domain-specific modeling languages has gained remarkable attention. This is for good reasons. A domain-specific modeling language incorporates concepts…
-
LegalLanguage: A Domain-Specific Language for Legal Contexts link.springer.com
EEWC'19, 2019. [All Versions]. Nowadays legal ontologies have been used in the legal domain, however, being poorly explored in legislative and production processes. This paper analyses the adoption of legal ontologies as a tool to support these processes, in particular, related…
-
Answer Set Programming link.springer.com
ICLPNR'99, 1999. [All Versions]. [Preprint]. The original paper on Answer Set Programming (ASP), a form of declarative programming oriented towards difficult search problems, on the use of nonmonotonic reasoning in knowledge representation. In ASP solutions to a problem are…
-
Abduction in Logic Programming link.springer.com
Computational Logic, 2002. [All Versions]. [Preprint]. Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer…
-
Action Languages, Answer Sets, and Planning link.springer.com
The Logic Programming Paradigms, 1999. [All Versions]. [Preprint]. This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from the perspective of logic programming. The authors talk about recent work on action…
-
Towards combining inductive logic programming with Bayesian networks link.springer.com
ILP'01, 2001. [All Versions].
-
Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework link.springer.com
Machine Learning, 2022. [All Versions]. A neuro-symbolic framework that integrates meta-policy learning in inductive logic programming.
- next page of items loading…
