Search: sri.inf.ethz.ch | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Debunking the Claims of K2-Think (sri.inf.ethz.ch)

6 points

9 months ago

2.

Coding Agents Are "Fixing" Correct Code (sri.inf.ethz.ch)

3 points

2 months ago

3.

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad [pdf] (files.sri.inf.ethz.ch)

3 points

a year ago

4.

Laws of order: expensive synchronization in concurrent algorithms cannot be elim [pdf] (files.sri.inf.ethz.ch)

1 point

9 months ago

5.

DeepPoly: An abstract domain for certifying neural networks (2019) (sri.inf.ethz.ch)

1 point

a year ago

6.

Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf] (files.sri.inf.ethz.ch)

1 point

a year ago

7.

Predicting Program Properties from Big Code (sri.inf.ethz.ch)

1 point

2 years ago

8.

It is possible to have both precise and robust neural networks (sri.inf.ethz.ch)

1 point

7 years ago