Matthieu Martel
where else to find them
linkedin:matthieu-martel-100282b3
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Accelerating the Static Analysis of Neural Networks by Batch Representation of(…) | ARRAY 2025 | 2025-06-17 |
They convert affine forms into three tensors — one for centers, one for noise symbols and one for residuals — so linear, convolutional and many nonlinear… | ||
| Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers | SOAP 2025 | 2025-06-16 |
Method computes the minimum bit precision PR that guarantees the original predicted class remains unchanged for all inputs, giving a static, per-layer… | ||
| Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures | LCTES 2024 | 2024-06-24 |
A tool named popins converts TensorFlow models to synthesized fixed‑point C by solving integer constraints that pick per-weight and per-activation formats; it… | ||
| Fast and Efficient Bit-Level Precision Tuning | SAS 2021 | 2021-10-17 |
POP implements a semantics-driven precision tuner that generates an ILP from source code (solved with GLPK) to pick optimal bit widths, and a refined solver… | ||
| nothing matches | ||