Iván Sadofschi Costa

`native.rb_map.insert` not working as expected

2

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues). *...

## Description Using `objective='poisson'` with big weights in some cases produces very large predictions, up to $10^{252}$ times higher than the biggest example in the train dataset. ## Reproducible example...

Hi! Thank you, your package is very useful to us! We encountered a minor issue with a query where some `with_name` is incorrectly marked as a `table`. I built this...