GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

program-synthesis

Website
Wikipedia
https://static.github-zh.com/github_avatars/fchollet?size=40
fchollet / ARC-AGI

The Abstraction and Reasoning Corpus

人工智能program-synthesispsychometricsintelligence-testing
JavaScript 4.43 k
2 个月前
https://static.github-zh.com/github_avatars/evalplus?size=40
evalplus / evalplus

#大语言模型#Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

benchmarkChatGPTgpt-4large-language-modelsprogram-synthesisTestingefficiency
Python 1.48 k
23 天前
https://static.github-zh.com/github_avatars/primaryobjects?size=40
primaryobjects / AI-Programmer

Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149

C#人工智能genetic-algorithm编程语言genomeprogram-synthesis
C# 1.09 k
2 年前
https://static.github-zh.com/github_avatars/microsoft?size=40
microsoft / PythonProgrammingPuzzles

A Dataset of Python Challenges for AI Research

人工智能program-synthesisprogramming-competitionspuzzles
Python 980
1 年前
https://static.github-zh.com/github_avatars/microsoft?size=40
microsoft / prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Mi...

synthesisSDKproseMicrosoft.NETC#data-transformationdata-wranglingprogram-synthesisExample
C# 643
12 天前
https://static.github-zh.com/github_avatars/ravichugh?size=40
ravichugh / sketch-n-sketch

Direct Manipulation Programming for HTML/SVG

live-programmingSVGElmprogram-synthesisstructured-editingHTML
Elm 556
1 年前
https://static.github-zh.com/github_avatars/Inventitech?size=40
Inventitech / strans

Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.

sedShellprogram-synthesisunix-commandunix-cli
Roff 548
5 年前
https://static.github-zh.com/github_avatars/hendrycks?size=40
hendrycks / apps

APPS: Automated Programming Progress Standard (NeurIPS 2021)

code-generationprogram-synthesis
Python 465
1 年前
https://static.github-zh.com/github_avatars/ezelikman?size=40
ezelikman / parsel

#计算机科学#Code for Parsel 🐍 - generate complex programs with language models

人工智能Lean机器学习program-synthesisPythonRobotics
Python 430
2 年前
https://static.github-zh.com/github_avatars/microsoft?size=40
microsoft / rat-sql

#自然语言处理#A relation-aware semantic parsing model from English to SQL

program-synthesissemantic-parsing自然语言处理question-answeringtransformers
Python 429
2 年前
https://static.github-zh.com/github_avatars/crazydonkey200?size=40
crazydonkey200 / neural-symbolic-machines

#计算机科学#Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.

深度学习deep-reinforcement-learningTensorflowprogram-synthesissemantic-parsingrnnreinforcement-learning
Python 381
3 年前
https://static.github-zh.com/github_avatars/bigcode-project?size=40
bigcode-project / bigcodebench

#大语言模型#[ICLR'25] BigCodeBench: Benchmarking Code Generation Towards AGI

benchmarkChatGPTcode-generationlarge-language-modelsprogram-synthesistool-usefunction-callinginstruction-followingclaude-3geminigpt-4deepseek大语言模型agentagents
Python 375
2 个月前
https://static.github-zh.com/github_avatars/Wilfred?size=40
Wilfred / suggest.el

discover elisp functions that do what you want

Emacsemacs-lispprogram-synthesis
Emacs Lisp 370
2 年前
https://static.github-zh.com/github_avatars/microsoft?size=40
microsoft / multilspy

#大语言模型#multilspy is a lsp client library in Python intended to be used to build applications around language servers.

人工智能ai4codecode-analysiscode-completioncode-generationcodegenhuggingface-transformerslanguage-server-protocol大语言模型large-language-modelslsplsp-clientneuripsprogram-synthesistransformer
Python 342
6 天前
https://static.github-zh.com/github_avatars/microsoft?size=40
microsoft / monitors4codegen

#大语言模型#Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to bu...

人工智能ai4codecodegendatasethuggingface-transformerslanguage-server-protocolcode-completioncode-generationlarge-language-modelsprogram-synthesisneuripstransformercode-analysislsplsp-client大语言模型
Python 261
10 个月前
https://static.github-zh.com/github_avatars/fuzz4all?size=40
fuzz4all / fuzz4all

#大语言模型#🌌️Fuzz4All: Universal Fuzzing with Large Language Models

Fuzzing/Fuzz testinglarge-language-models大语言模型program-synthesisTesting
Python 247
8 个月前
https://static.github-zh.com/github_avatars/logic-and-learning-lab?size=40
logic-and-learning-lab / Popper

An inductive logic programming system

program-synthesis
Python 225
4 天前
https://static.github-zh.com/github_avatars/CozySynthesizer?size=40
CozySynthesizer / cozy

The collection synthesizer

program-synthesis数据结构
Python 211
5 年前
https://static.github-zh.com/github_avatars/autogoal?size=40
autogoal / autogoal

#计算机科学#A Python framework for program synthesis with a focus on Automated Machine Learning.

automlPython机器学习框架optimizationprogram-synthesis
Python 211
4 个月前
https://static.github-zh.com/github_avatars/metagol?size=40
metagol / metagol

Metagol - an inductive logic programming system

program-synthesis
Prolog 201
4 年前
loading...