273 citations · 577 across the 17 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.RO2020
CARLA Real Traffic Scenarios -- novel training ground and benchmark for autonomous driving
Błażej Osiński, Piotr Miłoś, Adam Jakubowski +6
This work introduces interactive traffic scenarios in the CARLA simulator, which are based on real-world traffic. We concentrate on tactical tasks lasting several seconds, which ar…
cs.AI2020★ 3 cited
Neural heuristics for SAT solving
Sebastian Jaszczur, Michał Łuszczyk, Henryk Michalewski
We use neural graph networks with a message-passing architecture and an attention mechanism to enhance the branching heuristic in two SAT-solving algorithms. We report improvements…