PC97.com - Plus+ Channels for Creators and Shoppers

Aakanksha Chowdhery: Multimodal Reasoning and its Applications to Computer Use and Robotics

Mayur NaikDec 31, 2024

1k

Yann Dubois: Scalable Evaluation of Large Language Models

Mayur NaikNov 23, 2024

Vijay Krishnan: Improving Foundation Models Using Expert Human Data

Mayur NaikOct 12, 2024

2024 Guest Lecture Series in Large Language Models

Mayur NaikSep 24, 2024

PT48M26S

Scallop: A Language for Neuro-Symbolic Programming

Mayur NaikOct 30, 2022

1.1k

PT20M

GenSynth: Synthesizing Datalog Programs without Language Bias

Mayur NaikJan 9, 2021

PT58M12S

Module 1: Introduction to Software Analysis

Mayur NaikOct 16, 2020

5.9k

Module 5: Dataflow Analysis

Mayur NaikSep 29, 2020

PT1H6M13S

Module 9: Statistical Debugging

Mayur NaikSep 28, 2020

PT1H37M33S

Module 6: Pointer Analysis

Mayur NaikSep 28, 2020

2.5k

Module 8: Type Systems

Mayur NaikSep 28, 2020

PT47M6S

Module 10: Delta Debugging

Mayur NaikSep 27, 2020

1.5k

PT1H11M32S

Module 7: Constraint Based Analysis

Mayur NaikSep 27, 2020

1.1k

PT56M16S

Module 11: Dynamic Symbolic Execution

Mayur NaikSep 27, 2020

1.9k

Module 5: Dataflow Analysis

Mayur NaikSep 27, 2020

PT1H4M15S

Module 4: Automated Test Generation

Mayur NaikSep 27, 2020

1.9k

PT1H11M11S

Module 3: Random Testing

Mayur NaikSep 27, 2020

1.5k

Featured Results

Hanjun Dai: Preference Optimization for Large Language Models

Ram Sriharsha: Knowledge Models Combine Retrieval with Generation: An Introduction to RAG

Denny Zhou: LLM Reasoning: Key Ideas and Limitations

Guangxuan Xiao: Efficient Large Language Model Deployment with Quantization

Kai Sheng Tai: Sparsity for Efficient LLM Inference

Hyung Won Chung: Shaping the Future of AI from the History of Transformer

Jason Wei: Scaling Paradigms for Large Language Models

Thang Luong: Towards AI Superhuman Reasoning for Math and Beyond

Aakanksha Chowdhery: Multimodal Reasoning and its Applications to Computer Use and Robotics

Yann Dubois: Scalable Evaluation of Large Language Models

Vijay Krishnan: Improving Foundation Models Using Expert Human Data

2024 Guest Lecture Series in Large Language Models

Scallop: A Language for Neuro-Symbolic Programming

GenSynth: Synthesizing Datalog Programs without Language Bias

Module 1: Introduction to Software Analysis

Module 5: Dataflow Analysis

Module 9: Statistical Debugging

Module 6: Pointer Analysis

Module 8: Type Systems

Module 10: Delta Debugging

Module 7: Constraint Based Analysis

Module 11: Dynamic Symbolic Execution

Module 5: Dataflow Analysis

Module 4: Automated Test Generation

Module 3: Random Testing

Featured Results

Hanjun Dai: Preference Optimization for Large Language Models

Ram Sriharsha: Knowledge Models Combine Retrieval with Generation: An Introduction to RAG

Denny Zhou: LLM Reasoning: Key Ideas and Limitations

Guangxuan Xiao: Efficient Large Language Model Deployment with Quantization

Kai Sheng Tai: Sparsity for Efficient LLM Inference

Hyung Won Chung: Shaping the Future of AI from the History of Transformer

Jason Wei: Scaling Paradigms for Large Language Models

Thang Luong: Towards AI Superhuman Reasoning for Math and Beyond

Aakanksha Chowdhery: Multimodal Reasoning and its Applications to Computer Use and Robotics

Yann Dubois: Scalable Evaluation of Large Language Models

Vijay Krishnan: Improving Foundation Models Using Expert Human Data

2024 Guest Lecture Series in Large Language Models

Scallop: A Language for Neuro-Symbolic Programming

GenSynth: Synthesizing Datalog Programs without Language Bias

Module 1: Introduction to Software Analysis

Module 5: Dataflow Analysis

Module 9: Statistical Debugging

Module 6: Pointer Analysis

Module 8: Type Systems

Module 10: Delta Debugging

Module 7: Constraint Based Analysis

Module 11: Dynamic Symbolic Execution

Module 5: Dataflow Analysis

Module 4: Automated Test Generation

Module 3: Random Testing

Loading...