AF: Medium: Towards Provable Bounds for Machine Learning
AF: Medium: Towards Provable Bounds for Machine Learning
批准号:
1302518
负责人:
Sanjeev Arora
金额:
$90.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-09-01 至 2017-08-31
中文摘要
机器学习(ML)的许多领域目前依赖于没有性能保证的启发式算法,事实上,底层问题在计算上是难以解决的。 拟议的项目将导致新的机器学习算法与可证明的保证。 PI将利用平均案例分析,半随机模型,近似,解的稳定性和近似线性代数的理论思想,并开发新的工具和技术。 这一奋进的好处将发生在各个领域。 理论计算机科学将受益于获得新的问题和研究议程,以及算法和数学工具的进一步发展。 机器学习将受益于获得新的模型(希望比目前使用的模型更容易处理),新的思维模式和新的算法。 证明算法边界的任务将提供对算法何时有效或无效的洞察,以及对现有算法的修改建议。该项目将涉及培训新一代研究生和博士后,他们将精通理论算法和机器学习。 PI在过去几年中获得了提供这种培训和指导的经验,并将继续这样做,包括与本科生合作。 PI将通过演讲,教学和创建新的课程材料(包括视频)来传播该项目的理念。 还将组织一次专门讨论研究专题的专门讲习班。 开源软件实现将基于发现的任何新的学习算法发布。
英文摘要
Many areas of machine learning (ML) currently rely on heuristic algorithms with no performance guarantees, and, in fact, the underlying problems are computationally intractable. The proposed project will lead to new machine learning algorithms with provable guarantees. The PIs will leverage theoretical ideas from average case analysis, semi-random models, approximation, solution stability, and approximate linear algebra, and develop new tools and techniques. Benefits from this endeavor will occur across fields. Theoretical computer science will benefit by gaining new problems and research agendas, and further development of algorithmic and mathematical tools. Machine learning will benefit by gaining new models (hopefully, more tractable than the ones currently in use), new modes of thinking, and new algorithms. The task of proving bounds on algorithms will provide insight into when they do or do not work, as well as suggest modifications to existing heuristics.The project will involve training a new generation of graduate students and postdocs who will be fluent both in theoretical algorithms and machine learning. The PIs gained experience in delivering this kind of training and mentoring during the past couple of years and will continue this, including working with the undergraduate students. The PIs will disseminate the ideas of this project by lecturing, teaching, and creating new course materials, including videos. One specialized workshop will also be organized, devoted to the topics of study. Open-source software implementation will be released based upon any new learning algorithms that are discovered.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: RI:Medium:MoDL:Mathematical and Conceptual Understanding of Large Language Models
-
批准号:2211779
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2022
-
负责人:Sanjeev Arora
-
依托单位:
AF: Large: Collaborative Research: Nonconvex Methods and Models for Learning: Toward Algorithms with Provable and Interpretable Guarantees
-
批准号:1704860
-
项目类别:Continuing Grant
-
资助金额:$170.0万
-
财政年份:2017
-
负责人:Sanjeev Arora
-
依托单位:
AF: Small: Linear Algebra++ and applications to machine learning
-
批准号:1527371
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2015
-
负责人:Sanjeev Arora
-
依托单位:
AF: Small: Expansion, Unique Games, and Efficient Algorithms
-
批准号:1117309
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2011
-
负责人:Sanjeev Arora
-
依托单位:
New Directions in Semidefinite Programming and Approximation
-
批准号:0830673
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Sanjeev Arora
-
依托单位:
Collaborative Research: Understanding, Coping with, and Benefiting from Intractibility.
-
批准号:0832797
-
项目类别:Continuing Grant
-
资助金额:$686.8万
-
财政年份:2008
-
负责人:Sanjeev Arora
-
依托单位:
New directions in Approximation Algorithms for NP-hard problems
-
批准号:0514993
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2005
-
负责人:Sanjeev Arora
-
依托单位:
Collaborative Research: MSPA-MCS: Embeddings of Finite Metric Spaces - A Geometric Approach to Efficient Algorithms
-
批准号:0528414
-
项目类别:Standard Grant
-
资助金额:$29.0万
-
财政年份:2005
-
负责人:Sanjeev Arora
-
依托单位:
ITR: New directions in clustering and learning
-
批准号:0205594
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Sanjeev Arora
-
依托单位:
Approximation of NP-Hard Problems: Algorithms and Complexity
-
批准号:0098180
-
项目类别:Standard Grant
-
资助金额:$25.7万
-
财政年份:2001
-
负责人:Sanjeev Arora
-
依托单位:
CAREER: Research into the Hardness of Approximation, Probabilistically Checkable Proofs, and Their Connection to Other Areas
-
批准号:9502747
-
项目类别:Continuing Grant
-
资助金额:$21.95万
-
财政年份:1995
-
负责人:Sanjeev Arora
-
依托单位:
海外基金