Neurosymbolic Programming for Science

2.41K subscribers

28 videos

View on YouTube

Neurosymbolic programming is an emerging area in computer science that bridges deep learning and programming languages for scientific discovery. Funded by @N...

Latest Videos

Bridging Informal and Formal Mathematical Reasoning with Neural Language Models

Bridging Informal and Formal Mathematical Reasoning with Neural Language Models

Neurosymbolic Programming for Science

280 views·2 years ago

AI for Scientists Accelerating Discovery through Knowledge, Data & Learning

AI for Scientists Accelerating Discovery through Knowledge, Data & Learning

Neurosymbolic Programming for Science

498 views·2 years ago

Probabilistic Programming Tutorial Part 1

Probabilistic Programming Tutorial Part 1

Neurosymbolic Programming for Science

2.9K views·2 years ago

Model Based Reasoning

Model Based Reasoning

Neurosymbolic Programming for Science

906 views·2 years ago

Probabilistic Programming Tutorial Part 2

Probabilistic Programming Tutorial Part 2

Neurosymbolic Programming for Science

1.1K views·2 years ago

Moving Beyond the First Portrait of Our Milky Way’s Black Hole by Leveraging Underlying Structure

Moving Beyond the First Portrait of Our Milky Way’s Black Hole by Leveraging Underlying Structure

Neurosymbolic Programming for Science

286 views·2 years ago

Neurosymbolic Program Architecture Search (continued)

Neurosymbolic Program Architecture Search (continued)

Neurosymbolic Programming for Science

612 views·2 years ago

Understanding the Visual World Through Naturally Supervised Code

Understanding the Visual World Through Naturally Supervised Code

Neurosymbolic Programming for Science

471 views·2 years ago

Tutorial on Deductive Program Synthesis Part 2

Tutorial on Deductive Program Synthesis Part 2

Neurosymbolic Programming for Science

240 views·2 years ago

Better learning through Programming Languages

Better learning through Programming Languages

Neurosymbolic Programming for Science

503 views·2 years ago

Neurosymbolic Program Architecture Search

Neurosymbolic Program Architecture Search

Neurosymbolic Programming for Science

746 views·2 years ago

Competitive Programming with AlphaCode

Competitive Programming with AlphaCode

Neurosymbolic Programming for Science

715 views·2 years ago

Programming with Neural Surrogates of Programs

Programming with Neural Surrogates of Programs

Neurosymbolic Programming for Science

284 views·3 years ago

Workshop 4 Generating code that activates our brains

Workshop 4 Generating code that activates our brains

Neurosymbolic Programming for Science

1.3K views·3 years ago

Workshop 3 - Learning to automatically fix compiler errors in C

Workshop 3 - Learning to automatically fix compiler errors in C

Neurosymbolic Programming for Science

333 views·3 years ago

Workshop 2 An Introduction to Symbolic Regression with PySR and SymbolicRegression.jl

Workshop 2 An Introduction to Symbolic Regression with PySR and SymbolicRegression.jl

Neurosymbolic Programming for Science

23.2K views·3 years ago

Workshop 1 Data-Efficient Graph Grammar Learning for Molecular Generation

Workshop 1 Data-Efficient Graph Grammar Learning for Molecular Generation

Neurosymbolic Programming for Science

1.8K views·3 years ago

Tutorial 1b SuSLik deductive synthesisof safe programs with pointers

Tutorial 1b SuSLik deductive synthesisof safe programs with pointers

Neurosymbolic Programming for Science

884 views·3 years ago

Tutorial 1a Basics of Neurosymbolic Architectures

Tutorial 1a Basics of Neurosymbolic Architectures

Neurosymbolic Programming for Science

18.9K views·3 years ago

AI for code and science - Omar Costilla-Reyes, PhD

AI for code and science - Omar Costilla-Reyes, PhD

Neurosymbolic Programming for Science

1.1K views·3 years ago

Jacob Andreas Toward Natural Language Supervision

Jacob Andreas Toward Natural Language Supervision

Neurosymbolic Programming for Science

932 views·3 years ago

Introductory remarks - Armando Solar-Lezama

Introductory remarks - Armando Solar-Lezama

Neurosymbolic Programming for Science

397 views·3 years ago

Competition-Level Code Generation with AlphaCode

Competition-Level Code Generation with AlphaCode

Neurosymbolic Programming for Science

845 views·3 years ago

Outracing champion Gran Turismo drivers with deep reinforcement learning

Outracing champion Gran Turismo drivers with deep reinforcement learning

Neurosymbolic Programming for Science

421 views·3 years ago

Construction of mental representations in human planning

Construction of mental representations in human planning

Neurosymbolic Programming for Science

725 views·3 years ago

Differentiable Programming via Differentiable Search of Program Structures

Differentiable Programming via Differentiable Search of Program Structures

Neurosymbolic Programming for Science

531 views·3 years ago

Bayesian symbolic regression and the learnability of closed-form mathematical models

Bayesian symbolic regression and the learnability of closed-form mathematical models

Neurosymbolic Programming for Science

1.4K views·3 years ago

Analysis of 6.4 million SARS-CoV-2 genomes identifies mutations associated with fitness

Analysis of 6.4 million SARS-CoV-2 genomes identifies mutations associated with fitness

Neurosymbolic Programming for Science

215 views·3 years ago

Neurosymbolic Programming for Science - NatokHD | NatokHD