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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

3 points

a year ago

2.

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

1 point

9 months ago

3.

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

1 point

a year ago