SHF: Medium: Program Synthesis for Weak Supervision
SHF: Medium: Program Synthesis for Weak Supervision
批准号:
2106707
负责人:
Aws Albarghouthi
金额:
$90.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2021
资助国家:
美国
项目状态:
未结题
起止时间:
2021-07-01 至 2025-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Artificial intelligence, in the form of machine learning, has been transformative in automating difficult tasks and extracting insights in numerous problem domains, including language, vision, and recommendations, and offers many further possibilities. For instance, machine learning holds the promise of automatically analyzing medical images, a task previously reserved for human specialists. However, machine-learning algorithms typically require learning from large amounts of hand-labeled data. Manually labeling data is an expensive and human-intensive process. This project seeks to radically minimize the amount of labeled data needed for machine learning, with the goal of enabling cheap and rapid application of machine learning to new and important domains.The project leverages program synthesis and weak supervision technology to minimize the amount of labeled data needed to build performant models. Weak supervision replaces hand labels with a number of imprecise sources providing a rough signal for supervised training. Such sources are expressed by labeling functions: small, rough programs that encode knowledge about the task at hand. The goal of this project is to have labeling functions be generated automatically using program synthesis, eliminating the manual writing of labeling functions and the need for programming expertise. The project develops a generic language of labeling functions, and explores efficient re-use of synthesized functions and richer means of user interaction to further reduce label requirements. The project is training a diverse group of students. Additionally, the PIs are designing a novel course on machine learning with less labeled data.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.48550/arxiv.2208.14362
发表时间:
2022-08
期刊:
ArXiv
影响因子:
--
作者:
[Nicholas Roberts;Xintong Li;Tzu-Heng Huang;Dyah Adila;Spencer Schoenberg;Chengao Liu;Lauren Pick;Haotian Ma;Aws Albarghouthi;Frederic Sala]
通讯作者:
Nicholas Roberts;Xintong Li;Tzu-Heng Huang;Dyah Adila;Spencer Schoenberg;Chengao Liu;Lauren Pick;Haotian Ma;Aws Albarghouthi;Frederic Sala
NAS-Bench-360: Benchmarking Neural Architecture Search on Diverse Tasks
NAS-Bench-360:针对不同任务的神经架构搜索基准测试
DOI:
--
发表时间:
2022
期刊:
Advances in neural information processing systems
影响因子:
--
作者:
[Tu, Renbo, Roberts, Nicholas, Khodak, Mikhail, Shen, Junhong, Sala, Frederic, Talwalkar. Ameet]
通讯作者:
Talwalkar. Ameet
DOI:
--
发表时间:
2021-12
期刊:
ArXiv
影响因子:
--
作者:
[Changho Shin;Winfred Li;Harit Vishwakarma;Nicholas Roberts;Frederic Sala]
通讯作者:
Changho Shin;Winfred Li;Harit Vishwakarma;Nicholas Roberts;Frederic Sala
DOI:
10.48550/arxiv.2211.13375
发表时间:
2022-11
期刊:
ArXiv
影响因子:
--
作者:
[Harit Vishwakarma;Nicholas Roberts;Frederic Sala]
通讯作者:
Harit Vishwakarma;Nicholas Roberts;Frederic Sala
DOI:
10.48550/arxiv.2203.12023
发表时间:
2022-03
期刊:
ArXiv
影响因子:
--
作者:
[Benedikt Boecking;W. Neiswanger;Nicholas Roberts;Stefano Ermon;Frederic Sala;A. Dubrawski]
通讯作者:
Benedikt Boecking;W. Neiswanger;Nicholas Roberts;Stefano Ermon;Frederic Sala;A. Dubrawski
共 6 条
SHF: FET: Medium: Designing and Synthesizing a Quantum Circuit Compiler
-
批准号:2212232
-
项目类别:Standard Grant
-
资助金额:$90.0万
-
财政年份:2022
-
负责人:Aws Albarghouthi
-
依托单位:
CAREER: Algorithmic Foundations and Modern Applications for Program Synthesis
-
批准号:1652140
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2017
-
负责人:Aws Albarghouthi
-
依托单位:
SHF: Medium: Formal Methods for Program Fairness
-
批准号:1704117
-
项目类别:Continuing Grant
-
资助金额:$100.0万
-
财政年份:2017
-
负责人:Aws Albarghouthi
-
依托单位:
CRII: SHF: Optimal Interpolation for Efficient Proof Synthesis
-
批准号:1566015
-
项目类别:Standard Grant
-
资助金额:$17.5万
-
财政年份:2016
-
负责人:Aws Albarghouthi
-
依托单位:
海外基金