HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad [pdf]
files.sri.inf.ethz.ch
discuss
a year ago
EvgeniyZh
3 points
2.
▲
Laws of order: expensive synchronization in concurrent algorithms cannot be elim [pdf]
files.sri.inf.ethz.ch
discuss
9 months ago
fanf2
1 points
3.
▲
Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf]
files.sri.inf.ethz.ch
discuss
a year ago
harporoeder
1 points