ViewTube

Recording of a talk given at the Scientific Computing in Rust 2026 online workshop. oximo (https://github.com/oximo-rs/oximo) is a ...

This video was originally presented at FOSDEM 2026 and is provided by FOSDEM under the Creative Commons Attribution 2.0 ...

As large language models (LLMs) become increasingly capable, the optimization community is exploring how these tools may ...

This is an introductory session of a series of video tutorials on system modeling and Modelica language. We will cover the basic ...

Every machine learning model, from a simple classifier to a hundred-billion-parameter language model, relies on a centuries-old ...

The following are video lectures associated with the textbook "Data-Driven Modeling and Scientific Computation" by J. Nathan ...

Explore DeepSeek R1, one of the world's most powerful open-source AI reasoning models. In this video, we take a closer look at ...

The Applied Mathematics project is a comprehensive investigation that demonstrates your ability to apply mathematical modeling, ...

Video accompanying the paper "Local Linearity of LLMs Enables Activation Steering via Model-Based Linear Optimal Control" by ...

... Another name for a linear model with one input variable is univariate linear regression where uni means one in Latin and where ...

... would say estimate would be better maybe word estimate linear model so how to do this again we're going to call it linear model ...

Can a 3 billion parameter AI model really compete with trillion-parameter giants? #mathematics #reasoning #VibeThinker #AI ...

The following are video lectures associated with the textbook "Data-Driven Modeling and Scientific Computation" by J. Nathan ...

"Proper Subset" requires 5× more effort to model than "Subset" in Lean. And Mathlib never models it directly at all! But why!

This talk will give a brief look at how the two different languages can work together and how introducing Wolfram Language's ...

You can Join our discord to be part of our next session: https://go.zeroentropy.dev/discord In this video, Dilawar Mahmood, ...

Timestamps 00:00 Introduction 00:01 What is Linear Programming? 02:00 Components of a Linear Programming Model 05:00 ...

Math might be the last programming language AI hasn't conquered. In this episode of First Commit, Eliya Elon and Laura Hamilton ...

We saw how complex RLHF was, both conceptually and in practice. Not only was it hard to implement, but it results in many ...