firstbacksecondback
9 Results
|
Poster
|
Learning the Positions in CountSketch Yi Li · Honghao Lin · Simin Liu · Ali Vakilian · David Woodruff |
||
|
Poster
|
Tensor-Based Sketching Method for the Low-Rank Approximation of Data Streams. Cuiyu Liu · Xiao Chuanfu · Mingshuo Ding · Chao Yang |
||
|
Poster
|
Almost Linear Constant-Factor Sketching for ℓ1 and Logistic Regression Alexander Munteanu · Simon Omlor · David Woodruff |
||
|
Poster
|
SketchKnitter: Vectorized Sketch Generation with Diffusion Models wang qiang · Hao Deng · Yonggang Qi · Da Li · Yi-Zhe Song |
||
|
Poster
|
Wed 7:30 |
Robust Algorithms on Adaptive Inputs from Bounded Adversaries Yeshwanth Cherapanamjeri · Sandeep Silwal · David Woodruff · Fred Zhang · Qiuyi Zhang · Samson Zhou |
|
|
Oral
|
Wed 1:40 |
Graph Neural Networks for Link Prediction with Subgraph Sketching Benjamin Chamberlain · Sergey Shirobokov · Emanuele Rossi · Fabrizio Frasca · Thomas Markovich · Nils Hammerla · Michael Bronstein · Max Hansmire |
|
|
Poster
|
Tue 7:30 |
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Qiaochu Jiang · Sean Welleck · Jin Zhou · Timothée Lacroix · Jiacheng Liu · Wenda Li · Mateja Jamnik · Guillaume Lample · Yuhuai Wu |
|
|
Oral
|
Tue 6:00 |
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Qiaochu Jiang · Sean Welleck · Jin Zhou · Timothée Lacroix · Jiacheng Liu · Wenda Li · Mateja Jamnik · Guillaume Lample · Yuhuai Wu |
|
|
Poster
|
Wed 2:30 |
Graph Neural Networks for Link Prediction with Subgraph Sketching Benjamin Chamberlain · Sergey Shirobokov · Emanuele Rossi · Fabrizio Frasca · Thomas Markovich · Nils Hammerla · Michael Bronstein · Max Hansmire |