High Signal Podcasts Evidence ledger
Method
Browse
How the evidence works
← All source episodes

Latent Space / episode intelligence

Mistral: Voxtral TTS, Forge, Leanstral, & what's next for Mistral 4 — w/ Pavan Kumar Reddy & Guillaume Lample

30 Mar 2026 23 published claims 3 attributable people
Open original episode ↗ Read the evidence

Speakers in the public record

Pavan Kumar ReddyGuillaume LampleShawn Wang

Claim mix

belief 11evaluation 5commitment 2preference 2prediction 2recommendation 1

Evidence policy

Every row below preserves an exact excerpt. Identified speakers are linked; unresolved voices are labeled and excluded from people counts.

Claim ledger

The useful parts, with receipts.

23 published records

02 / belief

Life depend on this, but it’s very rare that people formally verify the correctness of their software. But I think one of the reasons for this is simply that it’s just hard to do.

“Life depend on this, but it’s very rare that people formally verify the correctness of their software. But I think one of the reasons for this is simply that it’s just hard to do.”
Publisher
Latent Space

04 / belief

I remember, I don’t think it was January, right? It was like new reps it was, it dropped during new reps and everyone in Europes was December of 25th, I think.

“I remember, I don’t think it was January, right? It was like new reps it was, it dropped during new reps and everyone in Europes was December of 25th, I think.”
Speaker
Shawn Wang
Publisher
Latent Space

05 / belief

I think that’s the great part and I feel like with even the existing stack, we should be able to get to this very natural speech conversational abilities soon enough I guess.

“I think that’s the great part and I feel like with even the existing stack, we should be able to get to this very natural speech conversational abilities soon enough I guess.”
Publisher
Latent Space

07 / belief

Each enterprise want a customized, specialized something which is representative both their brand and also their, I guess safety considerations and the use case I think the kind of thing that you would deploy as a empathetic assistant in the context of a healthcare domain would be very different from the kind of thing that would be in a customer support bot and would be different from like more conversational aspects.

“Each enterprise want a customized, specialized something which is representative both their brand and also their, I guess safety considerations and the use case I think the kind of thing that you would deploy as a empathetic assistant in the context of a healthcare domain would be very different from the kind of thing that would be in a customer support bot and would be different from like more conversational aspects.”
Publisher
Latent Space

08 / belief

The thing, there’s a thing that would be interesting here is that since, indeed I’ve been so much sure that has been done in the vision community compared to radio dys, stomach, I think there are so many long infra Yeah.

“The thing, there’s a thing that would be interesting here is that since, indeed I’ve been so much sure that has been done in the vision community compared to radio dys, stomach, I think there are so many long infra Yeah.”
Publisher
Latent Space

11 / belief

Good, highly efficient as well. And I think on a project maybe there, I think companies are going to take is to have a coverage general model that will do a bit of everything.

“Good, highly efficient as well. And I think on a project maybe there, I think companies are going to take is to have a coverage general model that will do a bit of everything.”
Publisher
Latent Space

12 / belief

The walkthrough chat that we released I think July last year, and the follow up transcription only, models family that we released in January, that would be one bucket, and the generation is another bucket.

“The walkthrough chat that we released I think July last year, and the follow up transcription only, models family that we released in January, that would be one bucket, and the generation is another bucket.”
Publisher
Latent Space

15 / preference

The key thing I think over maybe like the last year or so with VO and gr Imagine and all these things is joining voice with video, right?

“The key thing I think over maybe like the last year or so with VO and gr Imagine and all these things is joining voice with video, right?”
Speaker
Shawn Wang
Publisher
Latent Space

16 / recommendation

You just have to find these domains where actually AI has not been yet applied, and it’s usually hard to do because the people working in those domains don’t necessarily know the capability of these models.

“You just have to find these domains where actually AI has not been yet applied, and it’s usually hard to do because the people working in those domains don’t necessarily know the capability of these models.”
Publisher
Latent Space

17 / prediction

One of my theories is that because the proofs takes so long, it’s actually just a proxy for long horizon reasoning and coherence and planning.

“One of my theories is that because the proofs takes so long, it’s actually just a proxy for long horizon reasoning and coherence and planning.”
Speaker
Shawn Wang
Publisher
Latent Space

18 / evaluation

think initially we didn’t know, [00:23:00] we wanted completely short at the beginning of the company because, I think our study was not exactly the same as what it is today, but what we underestimated initially is the complexity of deploying this model and connecting them to everything to be sure it has access to the company knowledge on the, and it was, yeah, on, we were seeing customers struggling with this, but it was even, that was three years ago and no, things are much more complicated because now you don’t just have, text on SFT on a simple instruction following.

“think initially we didn’t know, [00:23:00] we wanted completely short at the beginning of the company because, I think our study was not exactly the same as what it is today, but what we underestimated initially is the complexity of deploying this model and connecting them to everything to be sure it has access to the company knowledge on the, and it was, yeah, on, we were seeing customers struggling with this, but it was even, that was three years ago and no, things are much more complicated because now you don’t just have, text on SFT on a simple instruction following.”
Publisher
Latent Space

19 / evaluation

No I think the way it works is that we are the, we are prioritizing together, I think, what are the most important features because there are many things we can do [00:09:00] in audio.

“No I think the way it works is that we are the, we are prioritizing together, I think, what are the most important features because there are many things we can do [00:09:00] in audio.”
Publisher
Latent Space

20 / preference

I think at least personally prefer the operations, which are the simplest, and so we try to see, can we just add audio as just another head to our regular transformer decode model because that kind of makes it easier for eventual end-to-end modeling of audio text native modeling.

“I think at least personally prefer the operations, which are the simplest, and so we try to see, can we just add audio as just another head to our regular transformer decode model because that kind of makes it easier for eventual end-to-end modeling of audio text native modeling.”
Publisher
Latent Space

21 / commitment

Build some infra that we actually anticipate is what we have in six months, one now, which is this extremely no scenarios on the, I think when we started Missal, part of me and we wanted to, is very nice under element where people are there, they can do research, they like with a lot of resources.

“Build some infra that we actually anticipate is what we have in six months, one now, which is this extremely no scenarios on the, I think when we started Missal, part of me and we wanted to, is very nice under element where people are there, they can do research, they like with a lot of resources.”
Publisher
Latent Space

22 / evaluation

I think we started too early before doing reasoning without LMD is very hard, especially when you work with formal systems because the amount of data you have is negligible.

“I think we started too early before doing reasoning without LMD is very hard, especially when you work with formal systems because the amount of data you have is negligible.”
Publisher
Latent Space

23 / prediction

I think I could have a lot of details. But me I think the [00:27:00] summary of it, actually, some of the considerations in this paper were, because we started with the wipa encoder as the starting point, and now we have in-house encoders, like the bigger time model, for instance, which we released in January.

“I think I could have a lot of details. But me I think the [00:27:00] summary of it, actually, some of the considerations in this paper were, because we started with the wipa encoder as the starting point, and now we have in-house encoders, like the bigger time model, for instance, which we released in January.”
Publisher
Latent Space
Search evidence