firstbacksecondback
3 Results
|
Poster
|
Divert More Attention to Vision-Language Tracking Mingzhe Guo · Zhipeng Zhang · Heng Fan · Liping Jing |
||
|
Poster
|
Tue 9:00 |
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis Jonathan Laurent · André Platzer |
|
|
Poster
|
Thu 9:00 |
Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts Maria-Florina Balcan · Siddharth Prasad · Tuomas Sandholm · Ellen Vitercik |