Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Neurosymbolic programming
We survey recent work on neurosymbolic programming, an emerging area that bridges the
areas of deep learning and program synthesis. Like in classic machine learning, the goal …
areas of deep learning and program synthesis. Like in classic machine learning, the goal …
[HTML][HTML] The child as hacker
The scope of human learning and development poses a radical challenge for cognitive
science. We propose that developmental theories can address this challenge by adopting …
science. We propose that developmental theories can address this challenge by adopting …
Codegeex: A pre-trained model for code generation with multilingual benchmarking on humaneval-x
Q Zheng, X ** inductive program synthesis with wake-sleep library learning
We present a system for inductive program synthesis called DreamCoder, which inputs a
corpus of synthesis problems each specified by one or a few examples, and automatically …
corpus of synthesis problems each specified by one or a few examples, and automatically …
The next decade in AI: four steps towards robust artificial intelligence
G Marcus - arxiv preprint arxiv:2002.06177, 2020 - arxiv.org
Recent research in artificial intelligence and machine learning has largely emphasized
general-purpose learning and ever-larger training sets and more and more compute. In …
general-purpose learning and ever-larger training sets and more and more compute. In …
Is self-repair a silver bullet for code generation?
Large language models have shown remarkable aptitude in code generation, but still
struggle to perform complex tasks. Self-repair--in which the model debugs and repairs its …
struggle to perform complex tasks. Self-repair--in which the model debugs and repairs its …
Automl-zero: Evolving machine learning algorithms from scratch
Abstract Machine learning research has advanced in multiple aspects, including model
structures and learning methods. The effort to automate such research, known as AutoML …
structures and learning methods. The effort to automate such research, known as AutoML …
Algo: Synthesizing algorithmic programs with generated oracle verifiers
Large language models (LLMs) excel at implementing code from functionality descriptions
but struggle with algorithmic problems that require not only implementation but also …
but struggle with algorithmic problems that require not only implementation but also …