HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Debunking the Claims of K2-Think
sri.inf.ethz.ch
discuss
9 months ago
nielstron
6 points
2.
▲
Coding Agents Are "Fixing" Correct Code
sri.inf.ethz.ch
1 comment
3 months ago
nielstron
3 points
3.
▲
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad [pdf]
files.sri.inf.ethz.ch
discuss
a year ago
EvgeniyZh
3 points
4.
▲
Laws of order: expensive synchronization in concurrent algorithms cannot be elim [pdf]
files.sri.inf.ethz.ch
discuss
9 months ago
fanf2
1 points
5.
▲
DeepPoly: An abstract domain for certifying neural networks (2019)
sri.inf.ethz.ch
discuss
a year ago
teleforce
1 points
6.
▲
Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf]
files.sri.inf.ethz.ch
discuss
a year ago
harporoeder
1 points
7.
▲
Predicting Program Properties from Big Code
sri.inf.ethz.ch
discuss
2 years ago
johnnyballgame
1 points
8.
▲
It is possible to have both precise and robust neural networks
sri.inf.ethz.ch
discuss
7 years ago
veselin
1 points